minor edits, formatting