Remove an incorrect (and very out of date) comment.