diff --git a/src/haz3lcore/prog/CachedStatics.re b/src/haz3lcore/prog/CachedStatics.re
index f6d90076a..106ce24ab 100644
--- a/src/haz3lcore/prog/CachedStatics.re
+++ b/src/haz3lcore/prog/CachedStatics.re
@@ -14,7 +14,11 @@ let empty: t = {
     copied: false,
     term: Tuple([]),
   },
-  elaborated: UExp.{ids: [Id.invalid], copied: false, term: Tuple([])},
+  elaborated: {
+    ids: [Id.invalid],
+    copied: false,
+    term: Tuple([]),
+  },
   info_map: Id.Map.empty,
   error_ids: [],
 };
diff --git a/src/haz3lcore/zipper/EditorUtil.re b/src/haz3lcore/zipper/EditorUtil.re
index 1642332a2..bcc3a1aa5 100644
--- a/src/haz3lcore/zipper/EditorUtil.re
+++ b/src/haz3lcore/zipper/EditorUtil.re
@@ -47,20 +47,19 @@ let rec append_exp = (e1: Exp.t, e2: Exp.t): Exp.t => {
   };
 };
 
-let wrap_filter = (act: FilterAction.action, term: UExp.t): UExp.t =>
-  Exp.{
-    term:
-      Filter(
-        Filter({
-          act: FilterAction.(act, One),
-          pat: {
-            term: Constructor("$e", Unknown(Internal) |> Typ.fresh),
-            copied: false,
-            ids: [Id.mk()],
-          },
-        }),
-        term,
-      ),
-    copied: false,
-    ids: [Id.mk()],
-  };
+let wrap_filter = (act: FilterAction.action, term: UExp.t): UExp.t => {
+  term:
+    Filter(
+      Filter({
+        act: FilterAction.(act, One),
+        pat: {
+          term: Constructor("$e", Unknown(Internal) |> Typ.fresh),
+          copied: false,
+          ids: [Id.mk()],
+        },
+      }),
+      term,
+    ),
+  copied: false,
+  ids: [Id.mk()],
+};