some minor stylistic edits