Fix a naming issue