nasty whitespace fixes