Fix a outdated comment