Fixed a renaming artifact.