minor edits, and formatting