No idea where this rename came from, but it seems necessary.

Found this in the live version. No idea if relevant. On the basis
that it won't hurt, checking this in.