Fix an outdated comment