Fix one forgotten rename