Slight revisions to language in comments.