clarification about undo-tree