Super-minor edits.