really minor stylistic edits