diff --git a/manual/manual/refman/modtypes.etex b/manual/manual/refman/modtypes.etex
index 9a963537c..6a2c9e1db 100644
--- a/manual/manual/refman/modtypes.etex
+++ b/manual/manual/refman/modtypes.etex
@@ -26,7 +26,7 @@ module-type:
         | '(' module-type ')'
 ;
 mod-constraint:
-          'type' [type-parameters] typeconstr '=' typexpr
+          'type' [type-params] typeconstr '=' typexpr
         | 'module' module-path '=' extended-module-path
 ;
 %BEGIN LATEX