trivial renaming (2)