Whitespace fixes

Few petty whitespace fixes.