diff --git a/lib/gallinaGen.ml b/lib/gallinaGen.ml
index c5e926b..e3b41bb 100644
--- a/lib/gallinaGen.ml
+++ b/lib/gallinaGen.ml
@@ -34,7 +34,7 @@ let eq_ t1 t2 =
   CAst.make (Constrexpr.CNotation
                (Some (Constrexpr.LastLonelyNotation),
                 (Constrexpr.InConstrEntry, "_ = _"),
-                ([ t1; t2 ], [], [], [])))
+                [NtnTypeArg (NtnTypeArgConstr t1); NtnTypeArg (NtnTypeArgConstr t2) ]))
 
 let lname_ s = CAst.make (Names.Name (name_id_ s))
 let name_decl_ s = lname_ s, None
@@ -54,7 +54,7 @@ let arr_ tys tyend =
       CAst.make (Constrexpr.CNotation
                    (Some (Constrexpr.LastLonelyNotation),
                     (Constrexpr.InConstrEntry, "_ -> _"),
-                    ([ t1; t2 ], [], [], []))))
+                    [NtnTypeArg (NtnTypeArgConstr t1); NtnTypeArg (NtnTypeArgConstr t2) ])))
     tys tyend
 
 let arr1_ ty1 ty2 = arr_ [ty1] ty2