Question about subtree renaming