diff --git a/ChangeLog b/ChangeLog
index e3c9cd5cb..ff80567e4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2009-09-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Fix previous patch.
+
+	* src/tgbaalgos/scc.cc (scc_map::update_supp_rec): Also take the
+	label of the outgoing edges into account.
+
 2009-09-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Optimize previous patch.
diff --git a/src/tgbaalgos/scc.cc b/src/tgbaalgos/scc.cc
index 18ceb5523..ffd37a0d2 100644
--- a/src/tgbaalgos/scc.cc
+++ b/src/tgbaalgos/scc.cc
@@ -120,7 +120,7 @@ namespace spot
 	res = scc_map_[state].supp;
 
 	for (it = s.begin(); it != s.end(); ++it)
-	  res &= update_supp_rec(it->first);
+	  res &= update_supp_rec(it->first) & bdd_support(it->second);
       }
 
     return res;