#2863: Renaming a duplicate is functional.