Whitespace fixes

One of these might actually be important