Some minor editing of a comment.