Really minor edits.