minor whitespace edits