Minor edits for style