diff --git a/ChangeLog b/ChangeLog
index ee19e7a32..b1a34d0d7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2003-07-03  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* src/tgba/tgbaproduct.cc (tgba_product_succ_iterator::first):
+	Simplify, do not call next_non_false_() either side is done.
+
 	* src/tgba/succiter.hh (tgba_succ_iterator::current_condition):
 	State that this is a boolean function.
 	* src/tgba/succiterconcrete.hh
diff --git a/src/tgba/tgbaproduct.cc b/src/tgba/tgbaproduct.cc
index 7e3f2a757..b471c6bfb 100644
--- a/src/tgba/tgbaproduct.cc
+++ b/src/tgba/tgbaproduct.cc
@@ -104,6 +104,7 @@ namespace spot
       {
 	delete right_;
 	right_ = 0;
+	return;
       }
     next_non_false_();
   }