Extremely minor edits.