diff --git a/src/misc/bareword.hh b/src/misc/bareword.hh
index 5c9b966c3..6e99a0a6d 100644
--- a/src/misc/bareword.hh
+++ b/src/misc/bareword.hh
@@ -27,7 +27,10 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools Miscellaneous helper algorithms
+  /// \defgroup misc_tools Miscellaneous helper functions
+
+
+  /// \ingroup misc_tools
   /// @{
   /// \brief Whether a word is bare.
   ///
diff --git a/src/misc/bitvect.hh b/src/misc/bitvect.hh
index af38c11a7..4bf4073e4 100644
--- a/src/misc/bitvect.hh
+++ b/src/misc/bitvect.hh
@@ -29,7 +29,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
   class bitvect;
diff --git a/src/misc/escape.hh b/src/misc/escape.hh
index 56229c640..0080536f1 100644
--- a/src/misc/escape.hh
+++ b/src/misc/escape.hh
@@ -28,7 +28,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
   /// \brief Double characters <code>"</code> in strings.
diff --git a/src/misc/hashfunc.hh b/src/misc/hashfunc.hh
index fe7c8ac98..c431304b6 100644
--- a/src/misc/hashfunc.hh
+++ b/src/misc/hashfunc.hh
@@ -26,8 +26,10 @@
 
 namespace spot
 {
-  /// \addtogroup hash_funcs Hashing functions
+  /// \defgroup hash_funcs Hashing functions
   /// \ingroup misc_tools
+
+  /// \ingroup hash_funcs
   /// @{
 
   /// \brief Thomas Wang's 32 bit hash function.
diff --git a/src/misc/intvcmp2.hh b/src/misc/intvcmp2.hh
index aea51d8b5..7e88ac181 100644
--- a/src/misc/intvcmp2.hh
+++ b/src/misc/intvcmp2.hh
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2011, 2013 Laboratoire de Recherche et Developpement de
-// l'Epita (LRDE).
+// Copyright (C) 2011, 2013, 2015 Laboratoire de Recherche et
+// Developpement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -25,7 +25,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
   /// \brief Compress an int array of size \a n into a int array.
diff --git a/src/misc/intvcomp.hh b/src/misc/intvcomp.hh
index 240caad5e..6d85ca5d3 100644
--- a/src/misc/intvcomp.hh
+++ b/src/misc/intvcomp.hh
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2011, 2013 Laboratoire de Recherche et Developpement
-// de l'Epita (LRDE).
+// Copyright (C) 2011, 2013, 2015 Laboratoire de Recherche et
+// Developpement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -25,7 +25,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
   /// Compress an int vector into a vector of unsigned int.
diff --git a/src/misc/random.hh b/src/misc/random.hh
index b7d04a6d4..aa52d5db2 100644
--- a/src/misc/random.hh
+++ b/src/misc/random.hh
@@ -29,8 +29,10 @@
 
 namespace spot
 {
-  /// \addtogroup random Random functions
+  /// \defgroup random Random functions
   /// \ingroup misc_tools
+
+  /// \ingroup random
   /// @{
 
   /// \brief Reset the seed of the pseudo-random number generator.
diff --git a/src/misc/timer.hh b/src/misc/timer.hh
index 9e124eb55..53aba03a2 100644
--- a/src/misc/timer.hh
+++ b/src/misc/timer.hh
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2011, 2012, 2013, 2014 Laboratoire de Recherche
-// et Développement de l'Epita (LRDE).
+// Copyright (C) 2009, 2011, 2012, 2013, 2014, 2015 Laboratoire de
+// Recherche et Développement de l'Epita (LRDE).
 // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
@@ -37,7 +37,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
 
diff --git a/src/misc/tmpfile.hh b/src/misc/tmpfile.hh
index d824e21da..e2a72dacf 100644
--- a/src/misc/tmpfile.hh
+++ b/src/misc/tmpfile.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2013, 2015 Laboratoire de Recherche et Développement
+// Copyright (C) 2013, 2015 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -28,7 +28,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
   /// \brief Temporary file name