Very minor edits.