Fix a renaming miss