diff --git a/src/tgbaalgos/stutter_invariance.hh b/src/tgbaalgos/stutter_invariance.hh
index 24f3431e5..2edbcfff3 100644
--- a/src/tgbaalgos/stutter_invariance.hh
+++ b/src/tgbaalgos/stutter_invariance.hh
@@ -24,7 +24,8 @@
 
 namespace spot
 {
-  // TODO doc
+  /// \ingroup ltl_misc
+  /// \brief Check if a formula has the stutter invariance property.
   SPOT_API bool
   is_stutter_invariant(const ltl::formula* f);