diff --git a/ChangeLog b/ChangeLog
index cf4a95a4d..a480292c8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2003-06-25  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* src/tgba/bddprint.hh, src/tgba/tgbabddconcretefactory.hh,
+	src/tgba/tgbaproduct.hh: Fix Doxygen comments.
+
 	* src/tgba/succiterconcrete.hh (next_succ_set_): Rename as ...
 	(succ_set_left_): ... this.
 	(current_base_, current_base_left_): New variables.
@@ -10,7 +13,7 @@
 	(tgba_succ_iterator_concrete::current_accepting_conditions): Remove
 	atomic proposition with universal quantification.
 	* src/tgba/ltl2tgba.cc (ltl_to_tgba): Normalize the formula.
-	* src/tgba/tgbabddconcrete.cc (tgba_bdd_concrete::set_init_state): 
+	* src/tgba/tgbabddconcrete.cc (tgba_bdd_concrete::set_init_state):
 	Complete the initial state.
 	(tgba_bdd_concrete::succ_iter): Do not remove Now variable
 	from the BDD passed to the iterator.
diff --git a/src/tgba/bddprint.hh b/src/tgba/bddprint.hh
index 73c4f693d..9408caddb 100644
--- a/src/tgba/bddprint.hh
+++ b/src/tgba/bddprint.hh
@@ -29,6 +29,8 @@ namespace spot
   /// \brief Print a BDD as a list of accepting 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.
   std::ostream& bdd_print_acc(std::ostream& os,
diff --git a/src/tgba/tgbabddconcretefactory.hh b/src/tgba/tgbabddconcretefactory.hh
index a640b10bf..dadac1d60 100644
--- a/src/tgba/tgbabddconcretefactory.hh
+++ b/src/tgba/tgbabddconcretefactory.hh
@@ -53,7 +53,7 @@ namespace spot
     /// Add a new constraint to the relation.
     void add_relation(bdd new_rel);
 
-    /// \Perfom final computations before the relation can be used.
+    /// \brief Perfom final computations before the relation can be used.
     ///
     /// This function should be called after all propositions, state,
     /// promise, and constraints have been declared, and before calling
diff --git a/src/tgba/tgbaproduct.hh b/src/tgba/tgbaproduct.hh
index 5c990d0ed..eada93268 100644
--- a/src/tgba/tgbaproduct.hh
+++ b/src/tgba/tgbaproduct.hh
@@ -94,7 +94,7 @@ namespace spot
     /// \brief Constructor.
     /// \param left The left automata in the product.
     /// \param right The right automata in the product.
-    /// Do not be fooled by these arguments: a product \emph is commutative.
+    /// Do not be fooled by these arguments: a product is commutative.
     tgba_product(const tgba& left, const tgba& right);
 
     virtual ~tgba_product();