Minor change in a comment.