Fix a forgotten name change