diff --git a/ChangeLog b/ChangeLog
index 14031700e..4813d0060 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-04-21  Alexandre Duret-Lutz  <adl@gnu.org>
 
+	* src/tgbaalgos/gtec/ce.hh, src/misc/freelist.hh,
+	src/tgba/bddprint.hh: Fix Doxygen comments.
+
 	* src/tgbaalgos/neverclaim.hh (never_claim_reachable): Document
 	arguments.
 	* src/tgbaalgos/neverclaim.cc (never_claim_bfs::state_is_accepting):
diff --git a/src/misc/freelist.hh b/src/misc/freelist.hh
index 90fa38e74..d1e512ad1 100644
--- a/src/misc/freelist.hh
+++ b/src/misc/freelist.hh
@@ -65,7 +65,7 @@ namespace spot
     /// requested by the user.
     virtual int extend(int n) = 0;
 
-    /// Such pairs describe \c second free integer starting at \first.
+    /// Such pairs describe \c second free integer starting at \c first.
     typedef std::pair<int, int> pos_lenght_pair;
     typedef std::list<pos_lenght_pair> free_list_type;
     free_list_type fl; ///< Tracks unused BDD variables.
diff --git a/src/tgba/bddprint.hh b/src/tgba/bddprint.hh
index e970a2ab5..e19468daa 100644
--- a/src/tgba/bddprint.hh
+++ b/src/tgba/bddprint.hh
@@ -70,7 +70,6 @@ namespace spot
   /// \brief Format a BDD as a set of acceptance conditions.
   ///
   /// This is used when saving a TGBA.
-  /// \param os The output stream.
   /// \param dict The dictionary to use, to lookup variables.
   /// \param b The BDD to print.
   /// \return The BDD formated as a string.
diff --git a/src/tgbaalgos/gtec/ce.hh b/src/tgbaalgos/gtec/ce.hh
index 281e71725..f541e3522 100644
--- a/src/tgbaalgos/gtec/ce.hh
+++ b/src/tgbaalgos/gtec/ce.hh
@@ -27,6 +27,7 @@
 
 namespace spot
 {
+  /// Compute a counter example from a spot::emptiness_check_status
   class counter_example
   {
   public:
@@ -42,6 +43,7 @@ namespace spot
 
     /// \brief Display the example computed by counter_example().
     ///
+    /// \param os the output stream
     /// \param restrict optional automaton to project the example on.
     std::ostream& print_result(std::ostream& os,
 			       const tgba* restrict = 0) const;