No more renaming of cast parameter