Some minor whitespace cleanup