diff --git a/ChangeLog b/ChangeLog
index 93eab1c61..6cec9b16e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-07-09  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgba/state.hh (state_ptr_equal, state_ptr_hash): Fix Doxygen
+	example.
+
 	* src/tgbaalgos/reductgba_sim.hh (parity_game_graph_delayed,
 	reduc_tgba_sim): Fix warnings about Doxygen comment.
 	* src/ltlvisit/reduce.hh (reduce): Likewise.
diff --git a/src/tgba/state.hh b/src/tgba/state.hh
index d6041a7fe..d5af79424 100644
--- a/src/tgba/state.hh
+++ b/src/tgba/state.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -86,7 +86,7 @@ namespace spot
   ///   // Remember how many times each state has been visited.
   ///   std::map<spot::state*, int, spot::state_ptr_less_than> seen;
   /// \endcode
-  struct state_ptr_less_than :
+  struct state_ptr_less_than:
     public std::binary_function<const state*, const state*, bool>
   {
     bool
@@ -106,10 +106,10 @@ namespace spot
   /// a map of \c state*.
   /// \code
   ///   // Remember how many times each state has been visited.
-  ///   Sgi::hash_map<spot::state*, int, spot::state_ptr_less_than,
+  ///   Sgi::hash_map<spot::state*, int, spot::state_ptr_hash,
   ///                                    spot::state_ptr_equal> seen;
   /// \endcode
-  struct state_ptr_equal :
+  struct state_ptr_equal:
     public std::binary_function<const state*, const state*, bool>
   {
     bool
@@ -129,10 +129,10 @@ namespace spot
   /// a map of \c state*.
   /// \code
   ///   // Remember how many times each state has been visited.
-  ///   Sgi::hash_map<spot::state*, int, spot::state_ptr_less_than,
+  ///   Sgi::hash_map<spot::state*, int, spot::state_ptr_hash,
   ///                                    spot::state_ptr_equal> seen;
   /// \endcode
-  struct state_ptr_hash :
+  struct state_ptr_hash:
     public std::unary_function<const state*, size_t>
   {
     size_t