minor stylistic edits