diff --git a/driver.html b/driver.html
index fa74f5f1bd25eaf38d97dca1a34bcde5fb312937..763fd080838d55a3e1360c96a4e9f7772a5a8991 100644
--- a/driver.html
+++ b/driver.html
@@ -84,7 +84,7 @@
 }
 
 #disp_env_pane {
-   height: 150px;
+   height: 180px;
 }
 
 .CodeMirror-selected { background: #F3F781; }
diff --git a/generator/js_of_ast.ml b/generator/js_of_ast.ml
index 8af0dc276a0492394614a41d534578dae46b286f..ee4c829bcffd9858a0e2aea660faa97d4e392512 100644
--- a/generator/js_of_ast.ml
+++ b/generator/js_of_ast.ml
@@ -864,6 +864,7 @@ and js_of_path_longident path ident =
   | "&&"  -> "&&"
   | "||"  -> "||"
   (* for float: *)
+  | "="  -> "=="
   | "+."  -> "+"
   | "*."  -> "*"
   | "-."  -> "-"
@@ -880,8 +881,6 @@ and js_of_path_longident path ident =
   | "/"  -> "/"
   (* for string *)
   | "^"   -> "+" (* !!TODO: we want to claim ability to type our sublanguage, so we should not use this *)
-  (* for equality *)
-  | "="   -> "=="
   | res   -> 
       let res = if !generate_qualified_names && (Path.head path).Ident.name <> "Stdlib" 
                    then ppf_path path else res in
diff --git a/generator/tests/jsref/JsSyntax.ml b/generator/tests/jsref/JsSyntax.ml
index d3c8199e85df2d61d00affe94ff0e10bdb99a199..eceb83836d96a37d48e9a9a12a52c2b188d35bc1 100644
--- a/generator/tests/jsref/JsSyntax.ml
+++ b/generator/tests/jsref/JsSyntax.ml
@@ -674,3 +674,39 @@ type codetype =
 | Coq_codetype_global [@f]
 | Coq_codetype_eval [@f]
 
+(*
+let thebound = 
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           1.)))))))))))))))))))))))))))))))
+
+*)
\ No newline at end of file
diff --git a/navig-driver.js b/navig-driver.js
index 02330d30da5ec77831877e5adf3af1405caa0ef8..fd905a5cf277a8e237f0f59a8e05365c8b4ced59 100644
--- a/navig-driver.js
+++ b/navig-driver.js
@@ -86,6 +86,7 @@ var source_files = [
   'var x = 2;\nx',
   '"use strict";\nvar x = 1;\nx++;\nx',
   '{} + {}',
+  'x = [1]',
   'throw 3',
   'var x = { a : 1, b : 2 }; ',
   'var x = { a : 1 };\n x.b = 2;\nx',
@@ -1405,8 +1406,9 @@ readSourceParseAndRun();
 //  $("#reach_condition").val("I_line()");
 //  button_test_handler();
 
-//setExample(3);
+//
 //stepTo(5873);
+setExample(3);
 
 function showCurrent() {
   console.log(tracer_items[tracer_pos]);