Fix a name error