bug fix in recover_trees()