Minor formatting quibbles. (The brain isn't up to anything more serious