Fixes accidental rename from last commit.