diff --git a/Typecheck2.ml b/Typecheck2.ml
index 027797091..5c432f2e8 100644
--- a/Typecheck2.ml
+++ b/Typecheck2.ml
@@ -61,7 +61,7 @@ module O = struct
   | Record   of record_key expr_record
   | Lambda   of lambda
 
-  and 'key expr_record = ('key * expr list)
+  and 'key expr_record = ('key * expr) list
 
   and expr = { expr: expr_case; ty:type_expr; orig: asttodo }
 
diff --git a/Typecheck2.mli b/Typecheck2.mli
index d90558afb..1f14aba31 100644
--- a/Typecheck2.mli
+++ b/Typecheck2.mli
@@ -61,7 +61,7 @@ module O : sig
   | Record   of record_key expr_record
   | Lambda   of lambda
 
-  and 'key expr_record = ('key * expr list)
+  and 'key expr_record = ('key * expr) list
 
   and expr = { expr: expr_case; ty:type_expr; orig: asttodo }