renaming is hard