Fix a forgotten rename.