diff --git a/quint/src/itf.ts b/quint/src/itf.ts
index 1d62238a6..8715b285f 100644
--- a/quint/src/itf.ts
+++ b/quint/src/itf.ts
@@ -170,7 +170,9 @@ export function toItf(vars: string[], states: QuintEx[], mbtMetadata: boolean =
       )
     )
   ).mapRight(s => {
-    if (mbtMetadata) {vars = [...vars, ACTION_TAKEN, NONDET_PICKS]}
+    if (mbtMetadata) {
+      vars = [...vars, ACTION_TAKEN, NONDET_PICKS]
+    }
     return {
       vars: vars,
       states: s,