minor edits and formatting