diff --git a/src/haz3lcore/pretty/ExpToSegment.re b/src/haz3lcore/pretty/ExpToSegment.re
index 7cf1ab329..2a85b9749 100644
--- a/src/haz3lcore/pretty/ExpToSegment.re
+++ b/src/haz3lcore/pretty/ExpToSegment.re
@@ -337,13 +337,14 @@ let rec exp_to_pretty = (~settings: Settings.t, exp: Exp.t): pretty => {
         "ap_exp",
         id,
         [
-          List.flatten(
-            List.map2(
-              (id, e) => [mk_form("comma_exp", id, [])] @ e,
-              ids,
-              es,
+          (es |> List.hd)
+          @ List.flatten(
+              List.map2(
+                (id, e) => [mk_form("comma_exp", id, [])] @ e,
+                ids |> List.tl,
+                es |> List.tl,
+              ),
             ),
-          ),
         ],
       ),
     ];