Correct an outdated comment