minor whitespace fixes