Whitespace changes

As requested by @d1b.