diff --git a/src/ltlenv/defaultenv.hh b/src/ltlenv/defaultenv.hh
index 164caad3b..99963033b 100644
--- a/src/ltlenv/defaultenv.hh
+++ b/src/ltlenv/defaultenv.hh
@@ -10,7 +10,7 @@ namespace spot
 
     /// \brief A laxist environment.
     ///
-    /// The environment recognize all atomic propositions.
+    /// This environment recognizes all atomic propositions.
     ///
     /// This is a singleton.  Use default_environment::instance()
     /// to obtain the instance.