diff --git a/ChangeLog b/ChangeLog
index ad3cc32ab..2b614393c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2005-02-20  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/tau03opt.hh, src/tgbaalgos/tau03.hh: Include
+	misc/optionmap.hh.
+
 2005-02-18  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* bench/emptchk/README: Document the file `algorithms'.
diff --git a/src/tgbaalgos/tau03.hh b/src/tgbaalgos/tau03.hh
index 0e386e049..db78c3f93 100644
--- a/src/tgbaalgos/tau03.hh
+++ b/src/tgbaalgos/tau03.hh
@@ -22,6 +22,8 @@
 #ifndef SPOT_TGBAALGOS_TAU03_HH
 # define SPOT_TGBAALGOS_TAU03_HH
 
+#include "misc/optionmap.hh"
+
 namespace spot
 {
   class tgba;
diff --git a/src/tgbaalgos/tau03opt.hh b/src/tgbaalgos/tau03opt.hh
index 2d2449356..b8f693ad6 100644
--- a/src/tgbaalgos/tau03opt.hh
+++ b/src/tgbaalgos/tau03opt.hh
@@ -22,6 +22,8 @@
 #ifndef SPOT_TGBAALGOS_TAU03OPT_HH
 # define SPOT_TGBAALGOS_TAU03OPT_HH
 
+#include "misc/optionmap.hh"
+
 namespace spot
 {
   class tgba;