diff --git a/doc/index.html b/doc/index.html
index 9bbd7c9a386..68c076a7c9a 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -256,9 +256,7 @@ git format-patch HEAD^
     <script type="text/javascript">
       var gaJsHost = (("https:" == document.location.protocol) ?
       "https://ssl." : "http://www.");
-      document.write(unescape("%3Cscript src='" + gaJsHost +
-      "google-analytics.com/ga.js'
-      type='text/javascript'%3E%3C/script%3E"));
+      document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
     </script>
     <script type="text/javascript">
       try {