A few changes in wording in the comments.