Revert inadvertent renaming.