Fix whitespace glitches.

Pointed out by:	jhb