trivial whitespace removal