trivial whitespace fixes