diff --git a/html/edoal.html b/html/edoal.html
index d86b738b8b90b588d169c65dd4d10df60d759bba..31c684a34d0aacc273c2c2f13c994bd9bf031f54 100644
--- a/html/edoal.html
+++ b/html/edoal.html
@@ -277,7 +277,7 @@ A class can be defined using its URI or a restriction. Restrictions are defined
 <div class="fragment"><pre>
 <u>classexpr</u> ::= &lt;Class rdf:about=" <u>URI</u> "/>
             | &lt;Class> <u>classconst</u> &lt;/Class>
-            | &lt;AttributeOccurenceRestriction> <u>onatt</u> <u>comp</u> <u>INTEGER</u> &lt;/AttributeOccurenceRestriction>
+            | &lt;AttributeOccurenceRestriction> <u>onatt</u> <u>comp</u> &lt;value>&lt;Literal type="&xsd;Integer" string="INTEGER" />&lt;/value> &lt;/AttributeOccurenceRestriction>
             | &lt;AttributeDomainRestriction> <u>onatt</u> <u>classrest</u> &lt;/AttributeDomainRestriction>
             | &lt;AttributeTypeRestriction> <u>onatt</u> <u>typerest</u> &lt;/AttributeTypeRestriction>
             | &lt;AttributeValueRestriction> <u>onatt</u> <u>comp</u> (&lt;value><u>instexpr</u>&lt;/value>|<u>val</u>) &lt;/AttributeValueRestriction>