trivial cleanup of whitespace