Fix the wrong rename from previous commit.