Fix a missed rename