very minor whitespace fix