Fix obsolete comment