Fix a lie in a comment