Fix a wrong name