diff --git a/quint/apalache-tests.md b/quint/apalache-tests.md
index 94043605f..b081a0a5c 100644
--- a/quint/apalache-tests.md
+++ b/quint/apalache-tests.md
@@ -254,7 +254,7 @@ VARIABLE
 A == Variant("A", [tag |-> "UNIT"])
 
 (*
-  @type: ((Int) => A({ tag: Str })) | B(Int));
+  @type: ((Int) => A({ tag: Str }) | B(Int));
 *)
 B(__BParam_31) == Variant("B", __BParam_31)
 
diff --git a/quint/test/itf.test.ts b/quint/test/itf.test.ts
index 03d490211..f8305e78c 100644
--- a/quint/test/itf.test.ts
+++ b/quint/test/itf.test.ts
@@ -101,7 +101,7 @@ describe('toItf', () => {
           '#meta': {
             index: 0,
           },
-          a: 'U_OF_UNIT',
+          a: { tag: 'UNIT' },
         },
       ],
     }