diff --git a/ChangeLog b/ChangeLog
index d0e1c9dc9..2ccb8a3b1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-11-08  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_run):
+	Remove spurious FIXME.
+
 2004-11-05  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/evtgbaalgos/save.cc (save_bfs::output_acc_set): Sort
diff --git a/src/tgbaalgos/gtec/ce.cc b/src/tgbaalgos/gtec/ce.cc
index b40556f02..409d5c906 100644
--- a/src/tgbaalgos/gtec/ce.cc
+++ b/src/tgbaalgos/gtec/ce.cc
@@ -75,7 +75,7 @@ namespace spot
     numbered_state_heap::state_index_p spi =
       ecs_->h->index(ecs_->aut->get_init_state());
     assert(spi.first);
-    /// FIXME: Should compute label and acceptance condition.
+    // This incomplete starting step will be overwritten later.
     tgba_run::step s = { spi.first, bddtrue, bddfalse };
     run_->prefix.push_front(s);
 
@@ -138,6 +138,7 @@ namespace spot
 			    t = father[t.s];
 			  }
 			assert(!run_->prefix.empty());
+			// Overwrite the incomplete starting step.
 			run_->prefix.back() = t;
 
 			// Append SEQ to RUN_->PREFIX.