diff --git a/manual/manual/refman/typedecl.etex b/manual/manual/refman/typedecl.etex
index d028bd320..86f104302 100644
--- a/manual/manual/refman/typedecl.etex
+++ b/manual/manual/refman/typedecl.etex
@@ -44,7 +44,7 @@ record-decl:
          '{' field-decl { ';' field-decl } [';'] '}'
 ;
 constr-decl:
-          (constr-name || '()') [ 'of' constr-args ]
+          (constr-name || '[]' || '(::)') [ 'of' constr-args ]
 ;
 constr-args:
           typexpr { '*' typexpr }