Add missing rename from the previous commit.

No idea how this was compiling locally. Found by the bots.