Petty whitespace fixes