diff --git a/docs/scripts/generate_web.php b/docs/scripts/generate_web.php
index 48bcc834..68f11158 100755
--- a/docs/scripts/generate_web.php
+++ b/docs/scripts/generate_web.php
@@ -29,7 +29,7 @@ $search = array(
 );
 
 $replace = array(
-    '<?php if(!isset($_GET["print"])&&!strstr($_SERVER["REQUEST_URI"],"/print/")){ini_set("default_charset","\2");commonHeader();}else{ ?> \1 } ?>',
+    '<?php if(!isset($_GET["print"])&&!strstr($_SERVER["REQUEST_URI"],"/print/")){ini_set("default_charset","\2");commonHeader();}else{ ?>\1<?php } ?>',
     '<?php if(!isset($_GET["print"])&&!strstr($_SERVER["REQUEST_URI"],"/print/")){commonFooter();}else{ echo "</body></html>";} ?>'
 );