diff --git a/ChangeLog b/ChangeLog
index 730c5b377..e98626ecb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,8 @@
-2004-12-07  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
+2004-12-08  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
+
+	* src/tgbaalgos/emptiness.cc: Suppress a horrible space before a ')'.
+
+2004-12-08  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
 
 	* src/tgba/tgbaexplicit.hh, src/tgba/tgbaexplicit.cc
 	(set_init_state): Return a pointer to the initial state.
diff --git a/src/tgbaalgos/emptiness.cc b/src/tgbaalgos/emptiness.cc
index 9293f3d54..70f9a38c7 100644
--- a/src/tgbaalgos/emptiness.cc
+++ b/src/tgbaalgos/emptiness.cc
@@ -148,7 +148,7 @@ namespace spot
     ++number;
     seen.insert(std::make_pair(i->s, source));
 
-    for (; i != l->end(); )
+    for (; i != l->end();)
       {
         // expected outgoing transition
         bdd label = i->label;