minor whitespace cleanup