Minor stylistic edits