minor whitespace change