fix an outdated comment