--- a/RelaxNG/publidoc.rnc	mar. sept. 08 13:25:11 2020 +0200
+++ b/RelaxNG/publidoc.rnc	dim. sept. 13 19:53:22 2020 +0200
@@ -457,7 +457,7 @@
         ( (list.type.attribute?, item, item+) |
           (attribute type {"glossary"}, item.glossary+) ) }
 
-list.type.attribute = attribute type {"ordered" | "alpha" | "Alpha" }
+list.type.attribute = attribute type { "ordered" | "alpha" | "Alpha" }
 
 # ~~~~~~ item
 item = element item { item.content }