diff --git a/generator/js_of_ast.ml b/generator/js_of_ast.ml
index cf7bb6d1d5d93f3fd8b7900fac1bc6423d399ae5..874546151d7df0b5576f2cf13945332a59a2e712 100644
--- a/generator/js_of_ast.ml
+++ b/generator/js_of_ast.ml
@@ -662,7 +662,7 @@ let to_javascript module_name typedtree =
 
 (*
 ctx_empty
-ctx_push(ctx, bindings)   where bindings = [ { key:"ls", val:ls}, { key:"xs", val:xs } ]
+ctx_push(ctx, bindings)   where bindings = [ { key: "ls", val: ls}, { key:"xs", val:xs } ]
 
 push("ls", ls, push("v", v, push("y", y, ctx314)); 
 
diff --git a/generator/tests/testctx.ml b/generator/tests/testctx.ml
index 22a27ba93eaba5338ff0b3fbe39db5ce8bd17acb..2cc104038ac39ec70a5736ccc815bc1827576ff6 100644
--- a/generator/tests/testctx.ml
+++ b/generator/tests/testctx.ml
@@ -68,7 +68,14 @@ let test3 x =
     in
   y
 
-
+let test4 x =
+  match x with
+  | None -> 1
+  | Some y -> 
+    begin match y with
+    | None -> 2
+    | Some z -> z 
+    end
 
 
 (*