diff --git a/ChangeLog b/ChangeLog
index 5f86e078a..d0af5a7f3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2004-11-04  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/lbtt.cc (lbtt_bfs::process_link): Adjust prototype.
+
 2004-11-03  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/dottydec.cc, src/tgbaalgos/dottydec.hh,
@@ -10,7 +14,7 @@
 	dotty_bfs::process_link): Use the decorator.
 	* src/tgbatest/ltl2tgba.cc: Graph the accepting run if the -g option
 	is given.
-	* src/tgbatest/emptchk.test: Exercize -g.
+	* src/tgbatest/emptchk.test: Exercise -g.
 
 	* src/tgbaalgos/replayrun.cc (replay_tgba_run): Add missing std::endl.
 
diff --git a/src/tgbaalgos/lbtt.cc b/src/tgbaalgos/lbtt.cc
index 266666ea3..a172a6e10 100644
--- a/src/tgbaalgos/lbtt.cc
+++ b/src/tgbaalgos/lbtt.cc
@@ -133,7 +133,8 @@ namespace spot
       }
 
       void
-      process_link(int, int out, const tgba_succ_iterator* si)
+      process_link(const state*, int,
+		   const state*, int out, const tgba_succ_iterator* si)
       {
 	body_ << out - 1 << " ";
 	acs_.split(body_, si->current_acceptance_conditions());