diff --git a/src/twaalgos/ltl2tgba_fm.hh b/src/twaalgos/ltl2tgba_fm.hh
index 576c73633..a4f4cbabe 100644
--- a/src/twaalgos/ltl2tgba_fm.hh
+++ b/src/twaalgos/ltl2tgba_fm.hh
@@ -136,7 +136,7 @@ namespace spot
         editor	  = {Nir Piterman and Scott A. Smolka},
         publisher = {Springer}
       }
-      \endvarbatim */
+      \endverbatim */
   ///
   /// \return A spot::twa_graph that recognizes the language of \a f.
   SPOT_API twa_graph_ptr