minor whitespace fix