Fix a naming error.