Revert spurious renaming