diff --git a/build_system/clerk_report.ml b/build_system/clerk_report.ml
index 38419dc0..9bfbaec4 100644
--- a/build_system/clerk_report.ml
+++ b/build_system/clerk_report.ml
@@ -287,7 +287,7 @@ let print_box tcolor ppf title (pcontents : box -> unit) =
             (fun ppf ->
               Format.pp_print_tab ppf ();
               Format.fprintf ppf "%t┃@}@," tcolor)
-            ppf ("%t@<1>%s@}  " ^^ fmt) tcolor "┃");
+            ppf ("%t@<1>%s@}   " ^^ fmt) tcolor "┃");
     }
   in
   pcontents box;
diff --git a/compiler/scalc/from_lcalc.ml b/compiler/scalc/from_lcalc.ml
index 2fe792bf..a99e87ad 100644
--- a/compiler/scalc/from_lcalc.ml
+++ b/compiler/scalc/from_lcalc.ml
@@ -35,13 +35,6 @@ type 'm ctxt = {
   program_ctx : A.ctx;
 }
 
-let unthunk e =
-  match Mark.remove e with
-  | EAbs { binder; tys = [(TLit TUnit, _)] } ->
-    let _, e = Bindlib.unmbind binder in
-    e
-  | _ -> failwith "should not happen"
-
 (* Expressions can spill out side effect, hence this function also returns a
    list of statements to be prepended before the expression is evaluated *)