diff --git a/src/tgba/tgbasafracomplement.cc b/src/tgba/tgbasafracomplement.cc
index e92f7bfdb..978fff8ce 100644
--- a/src/tgba/tgbasafracomplement.cc
+++ b/src/tgba/tgbasafracomplement.cc
@@ -1142,9 +1142,6 @@ namespace spot
   ///   series        = {Lecture Notes in Computer Science},
   ///   publisher     = {Springer-Verlag}
   /// }
-  ///
-  /// @param local_state the state from which we want to compute the successors.
-  ///
   tgba_succ_iterator*
   tgba_safra_complement::succ_iter(const state* state) const
   {
diff --git a/src/tgbaalgos/hoaf.hh b/src/tgbaalgos/hoaf.hh
index 4e157eb2d..5f405c088 100644
--- a/src/tgbaalgos/hoaf.hh
+++ b/src/tgbaalgos/hoaf.hh
@@ -44,7 +44,7 @@ namespace spot
   /// \param g The automaton to output.
   /// \param f The (optional) formula associated to the automaton.  If given
   ///          it will be output as a comment.
-  /// \param a acceptance Force the type of acceptance mode used
+  /// \param acceptance Force the type of acceptance mode used
   ///         in output.
   /// \param alias Whether aliases should be used in output.
   /// \param newlines Whether to use newlines in output.