Fix forgotten rename.