minor whitespace removal