fix forgotten rename from last commit