minor edits for style and formatting