minor whitespace correction