Whitespace cleanup

trivial whitespace cleanup