diff --git a/doc/Overview.dox b/doc/Overview.dox
index e18db4448..d98e17056 100644
--- a/doc/Overview.dox
+++ b/doc/Overview.dox
@@ -19,7 +19,7 @@ They are themselves composed of \em user \em manual pages describing the differe
 
 Under the \subpage UserManual_Generalities section, you will find documentation on more general topics such as preprocessor directives, controlling assertions, multi-threading, MKL support, some Eigen's internal insights, and much more...
 
-Finally, do not miss the search-engine that is convenient to quickly found the documentation of a given class or function.
+Finally, do not miss the search engine, useful to quickly get to the documentation of a given class or function.
 
 Want more? Checkout the <a href="unsupported/index.html">\em unsupported \em modules </a> documentation.
 
diff --git a/doc/eigen_navtree_hacks.js b/doc/eigen_navtree_hacks.js
index 6b021c749..bd7e02b38 100644
--- a/doc/eigen_navtree_hacks.js
+++ b/doc/eigen_navtree_hacks.js
@@ -26,7 +26,8 @@ function generate_autotoc() {
         prefix+="."+indices[1];
       }
         
-      current.html(prefix + "   " + current.html());
+      // Uncomment to add number prefixes
+      // current.html(prefix + "   " + current.html());
       for(var l = levelTag; l < 2; ++l){
           indices[l] = 0;
       }