diff --git a/ChangeLog b/ChangeLog
index 269d62926..91c8c5a0e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2010-01-31  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	More Doxygen fixes.
+
+	* src/sabaalgos/sabareachiter.hh (process_link): Document argument SI.
+	* src/eltlparse/public.hh (format_parse_errors): Remove the
+	non-existing eltl_string argument from the description.
+	(parse_file): Fix name of parameters in documentation.
+
 2010-01-31  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Build doxygen pictures with libgd to reduce their size.
diff --git a/src/eltlparse/public.hh b/src/eltlparse/public.hh
index 71fe2a167..c96bfb71e 100644
--- a/src/eltlparse/public.hh
+++ b/src/eltlparse/public.hh
@@ -55,7 +55,7 @@ namespace spot
     typedef std::list<parse_error> parse_error_list;
 
     /// \brief Build a formula from a text file.
-    /// \param name The name of the file to parse.
+    /// \param filename The name of the file to parse.
     /// \param error_list A list that will be filled with
     ///        parse errors that occured during parsing.
     /// \param env The environment into which parsing should take place.
@@ -86,7 +86,6 @@ namespace spot
 
     /// \brief Format diagnostics produced by spot::eltl::parse.
     /// \param os Where diagnostics should be output.
-    /// \param eltl_string The string that were parsed.
     /// \param error_list The error list filled by spot::eltl::parse while
     ///        parsing \a eltl_string.
     /// \return \c true iff any diagnostic was output.
diff --git a/src/sabaalgos/sabareachiter.hh b/src/sabaalgos/sabareachiter.hh
index f9ddfc2d5..cd5103536 100644
--- a/src/sabaalgos/sabareachiter.hh
+++ b/src/sabaalgos/sabareachiter.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2009 Laboratoire de Recherche et DĂ©veloppement
+// Copyright (C) 2009, 2010 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -93,6 +93,8 @@ namespace spot
     /// \param sc The spot::saba_state_conjunction positionned on the current
     ///           conjunction.
     /// \param sc_id An unique number for the this transition assigned to \a sc.
+    /// \param si The spot::saba_succ_iterator positionned on the current
+    ///             transition.
     ///
     /// The in_s and out_s states are owned by the
     /// spot::saba_reachable_iterator instance and destroyed when the