diff --git a/docs/manual/style/modulesynopsis.dtd b/docs/manual/style/modulesynopsis.dtd
index d7bd8602ba..00a8b58e3c 100644
--- a/docs/manual/style/modulesynopsis.dtd
+++ b/docs/manual/style/modulesynopsis.dtd
@@ -53,7 +53,7 @@ usage?, seealso*)>
 
 <!ELEMENT syntax %Inline;>
 
-<!ELEMENT default (#PCDATA)>
+<!ELEMENT default (#PCDATA | %inlinetags;)*>
 
 <!ELEMENT contextlist (context+)+>