A few minor edits.