Fix a mistaken name.