The comment is out-of-date.