Fix a bad name.