One other rename from previous commit.