A few other minor edits.