diff --git a/ChangeLog b/ChangeLog
index 74bdf8af7..4e54d4121 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2010-01-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Touch up some doxygen comments and copyrights.
+
+	* eltlparse/public.hh, saba/saba.hh, tgba/tgbakvcomplement.hh,
+	tgba/tgbasafracomplement.hh, tgbaalgos/eltl2tgba_lacim.cc,
+	tgbaalgos/eltl2tgba_lacim.hh, tgbaalgos/ltl2taa.hh: Comment
+	changes.
+
 2010-01-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Add SCC pruning options to the CGI script.
diff --git a/src/eltlparse/public.hh b/src/eltlparse/public.hh
index 01615507c..71fe2a167 100644
--- a/src/eltlparse/public.hh
+++ b/src/eltlparse/public.hh
@@ -1,6 +1,5 @@
-// Copyright (C) 2003, 2004, 2005, 2006, 2008 Laboratoire
-// d'Informatique de Paris 6 (LIP6), département Systèmes Répartis
-// Coopératifs (SRC), Université Pierre et Marie Curie.
+// Copyright (C) 2008, 2010 Laboratoire de Recherche et Développement
+// de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -46,7 +45,7 @@ namespace spot
 
   namespace eltl
   {
-    /// \addtogroup eltl_io
+    /// \addtogroup ltl_io
     /// @{
 
     typedef std::pair<std::string, std::string> spair;
diff --git a/src/saba/saba.hh b/src/saba/saba.hh
index 863eab96b..65eb92e19 100644
--- a/src/saba/saba.hh
+++ b/src/saba/saba.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.
@@ -27,7 +27,7 @@
 
 namespace spot
 {
-  /// \defgroup saba SABA (State-based Alternating Büchi Automata)
+  /// \defgroup saba SABA (State-based Alternating Büchi Automata)
   ///
   /// Spot was centered around non-deterministic \ref tgba.
   /// Alternating automata are an extension to non-deterministic
@@ -38,7 +38,7 @@ namespace spot
   /// \addtogroup saba_essentials Essential SABA types
   /// \ingroup saba
 
-  /// \brief A State-based Alternating (Generalized) Büchi Automaton.
+  /// \brief A State-based Alternating (Generalized) Büchi Automaton.
   /// \ingroup saba_essentials
   ///
   /// Browsing such automaton can be achieved using two functions:
diff --git a/src/tgba/tgbakvcomplement.hh b/src/tgba/tgbakvcomplement.hh
index 2e548f4a8..d2b76fb3b 100644
--- a/src/tgba/tgbakvcomplement.hh
+++ b/src/tgba/tgbakvcomplement.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2009, 2010 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.
@@ -62,11 +62,11 @@ namespace spot
   typedef std::vector<bdd_ordered> acc_list_t;
 
   /// \brief Build a complemented automaton.
-  /// \ingroup tgba
+  /// \ingroup tgba_on_the_fly_algorithms
   ///
   /// The construction comes from:
   /// @Article{         kupferman.05.tcs,
-  ///   title           = {{From complementation to certification}},
+  ///   title           = {From complementation to certification},
   ///   author          = {Kupferman, O. and Vardi, M.Y.},
   ///   journal         = {Theoretical Computer Science},
   ///   volume  	= {345},
diff --git a/src/tgba/tgbasafracomplement.hh b/src/tgba/tgbasafracomplement.hh
index 18d7962fe..8ed60ab26 100644
--- a/src/tgba/tgbasafracomplement.hh
+++ b/src/tgba/tgbasafracomplement.hh
@@ -34,7 +34,7 @@ namespace spot
   struct safra_tree_automaton;
 
   /// \brief Build a complemented automaton.
-  /// \ingroup tgba
+  /// \ingroup tgba_on_the_fly_algorithms
   ///
   /// It creates an automaton that recognizes the
   /// negated language of \a aut.
diff --git a/src/tgbaalgos/eltl2tgba_lacim.cc b/src/tgbaalgos/eltl2tgba_lacim.cc
index 308afd443..c34ffa40c 100644
--- a/src/tgbaalgos/eltl2tgba_lacim.cc
+++ b/src/tgbaalgos/eltl2tgba_lacim.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement
+// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
diff --git a/src/tgbaalgos/eltl2tgba_lacim.hh b/src/tgbaalgos/eltl2tgba_lacim.hh
index 5e9b5b6b8..0c6c760aa 100644
--- a/src/tgbaalgos/eltl2tgba_lacim.hh
+++ b/src/tgbaalgos/eltl2tgba_lacim.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2008 Laboratoire de Recherche et Développement
+// Copyright (C) 2008, 2010 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -27,7 +27,7 @@
 namespace spot
 {
   /// \brief Build a spot::tgba_bdd_concrete from an ELTL formula.
-  /// \ingroup tgba_eltl
+  /// \ingroup tgba_ltl
   ///
   /// This is based on the following paper.
   /// \verbatim
diff --git a/src/tgbaalgos/ltl2taa.hh b/src/tgbaalgos/ltl2taa.hh
index 89d6c2cd6..7f23658f1 100644
--- a/src/tgbaalgos/ltl2taa.hh
+++ b/src/tgbaalgos/ltl2taa.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.
@@ -27,6 +27,7 @@
 namespace spot
 {
   /// \brief Build a spot::taa* from an LTL formula.
+  /// \ingroup tgba_ltl
   ///
   /// This is based on the following.
   /// \verbatim