Minor edits and formatting