fix #5 restore undotree