minor whitespace edit