Removed an irrelevant comment.