revert a temporary renaming in an implementation detail