Fix forgotten rename