diff --git a/ChangeLog b/ChangeLog
index bfeaa50db..d96946bf6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-02-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbaalgos/gtec/gtec.cc (couvreur99_check_shy::dump_queue):
+	Remove superfluous semicolon.
+
 2008-01-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/tgbaalgos/reductgba_sim.cc (reduc_tgba_sim): Add two
diff --git a/src/tgbaalgos/gtec/gtec.cc b/src/tgbaalgos/gtec/gtec.cc
index a643e900b..73bb4b2c5 100644
--- a/src/tgbaalgos/gtec/gtec.cc
+++ b/src/tgbaalgos/gtec/gtec.cc
@@ -400,7 +400,7 @@ namespace spot
 	    if (qi != ti->q.end())
 	      os << ", ";
 	  }
-	os << "}" << std::endl;;
+	os << "}" << std::endl;
       }
   }