Make undo-tree-redo work (finally!)