Minor whitespace shuffles.
Swallow unnecessary blanks.