Irrelevant renaming