Minor editing of a comment.