diff --git a/html/edoal.html b/html/edoal.html
index 0ef2cf49b1d78e375536150ffc4b9da12653ff65..477d993f05bcebfb961e3a7b82496612446574de 100644
--- a/html/edoal.html
+++ b/html/edoal.html
@@ -140,8 +140,8 @@ A class can be defined using its URI or a restriction. Restrictions are defined
 <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;AttributeDomainConstraint> <u>onatt</u> (<u>classexpr</u>|<u>type</u>) &lt;/AttributeDomainConstraint>
-            | &lt;AttributeValueRestriction> <u>onatt</u> <u>comp</u> (<u>instexpr</u>|<u>val</u>) &lt;/AttributeValueRestriction>
+            | &lt;AttributeDomainRestriction> <u>onatt</u> (&lt;class><u>classexpr</u>&lt;/class>|<u>datatype</u>) &lt;/AttributeDomainRestriction>
+            | &lt;AttributeValueRestriction> <u>onatt</u> <u>comp</u> (&lt;value><u>instexpr</u>&lt;/value>|<u>val</u>) &lt;/AttributeValueRestriction>
 
 <u>classconst</u> ::= &lt;and rdf:parseType="Collection"> <u>classexpr</u>+&lt;/and>
              | &lt;or rdf:parseType="Collection"> <u>classexpr</u>+ &lt;/or>