Remove a now-outmoded comment.