minor edits, and formatting fixes