trivial whitespace edits