Fix misinfo in comments.