Fix long-obsolete comment.