diff --git a/src/tgbaalgos/reachiter.cc b/src/tgbaalgos/reachiter.cc
index 44e0def46..2d1870027 100644
--- a/src/tgbaalgos/reachiter.cc
+++ b/src/tgbaalgos/reachiter.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -71,7 +71,7 @@ namespace spot
 	      }
 	    else
 	      {
-		process_link(tn, seen[current], si);
+		process_link(tn, s->second, si);
 		delete current;
 	      }
 	  }
diff --git a/src/tgbaalgos/save.cc b/src/tgbaalgos/save.cc
index 8d584bd07..a83402779 100644
--- a/src/tgbaalgos/save.cc
+++ b/src/tgbaalgos/save.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -81,6 +81,7 @@ namespace spot
 	  bdd_print_formula(os_, d, si->current_condition()) << "\",";
 	  bdd_print_acc(os_, d, si->current_acceptance_conditions());
 	  os_ << ";" << std::endl;
+	  delete dest;
 	}
     }