Fix a mistake