Corrected an outdated comment