diff --git a/ChangeLog b/ChangeLog
index e02fe0158..6ec4456a9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2005-09-01  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/magic.hh: \fixme is not a doxygen command.  Use \bug.
+
 2005-08-31  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* README: Update lbtt references.
diff --git a/src/tgbaalgos/magic.hh b/src/tgbaalgos/magic.hh
index 4258eb6f7..9b2a7f547 100644
--- a/src/tgbaalgos/magic.hh
+++ b/src/tgbaalgos/magic.hh
@@ -94,7 +94,7 @@ namespace spot
   ///  }
   /// \endverbatim
   ///
-  /// \fixme The name is misleading.  Magic-search is the algorithm
+  /// \bug The name is misleading.  Magic-search is the algorithm
   /// from \c godefroid.93.pstv, not \c courcoubetis.92.fmsd.
   emptiness_check* explicit_magic_search(const tgba *a,
                                          option_map o = option_map());