minor whitespace issue