Remove a now-irrelevant comment.