diff --git a/src/tgbaalgos/lbtt.hh b/src/tgbaalgos/lbtt.hh
index 23b972812..4ec2e07f1 100644
--- a/src/tgbaalgos/lbtt.hh
+++ b/src/tgbaalgos/lbtt.hh
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2012, 2013, 2014 Laboratoire de Recherche et Développement de
-// l'Epita (LRDE).
+// Copyright (C) 2012, 2013, 2014, 2015 Laboratoire de Recherche et
+// Développement de l'Epita (LRDE).
 // 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.
@@ -48,8 +48,6 @@ namespace spot
   /// used by the automaton built.
   /// \param env The environment of atomic proposition into which parsing
   ///        should take place.
-  /// \param envacc The environment of acceptance conditions into which parsing
-  ///        should take place.
   /// \return the read tgba or 0 on error.
   SPOT_API tgba_digraph_ptr
   lbtt_parse(std::istream& is, std::string& error,
diff --git a/src/tgbaalgos/neverclaim.hh b/src/tgbaalgos/neverclaim.hh
index a1efa3ac1..2a4a59c6d 100644
--- a/src/tgbaalgos/neverclaim.hh
+++ b/src/tgbaalgos/neverclaim.hh
@@ -38,8 +38,6 @@ namespace spot
   ///          all the transitions of a state should be either all accepting
   ///          or all unaccepting.  If your automaton does not satisfies
   ///          these requirements, call degeneralize() first.
-  /// \param f The (optional) formula associated to the automaton.  If given
-  ///          it will be output as a comment.
   /// \param comments Whether to comment each state of the never clause
   ///          with the label of the \a g automaton.
   SPOT_API std::ostream&