Renaming is hard