Whitespace cleanup

Just whitespace cleanup.