minor whitespace