Remove a very old and outdated comment.