diff --git a/doc/languages-frameworks/coq.xml b/doc/languages-frameworks/coq.xml
index 43da6a3f49d6..0ce1abd6194c 100644
--- a/doc/languages-frameworks/coq.xml
+++ b/doc/languages-frameworks/coq.xml
@@ -18,7 +18,7 @@
   </para>
   <para>
     Coq libraries may be compatible with some specific versions of Coq only.
-    The <liberal>compatibleCoqVersions</liberal> attribute is used to
+    The <literal>compatibleCoqVersions</literal> attribute is used to
     precisely select those versions of Coq that are compatible with this
     derivation.
   </para>