Fix irrelevant comment.