diff --git a/rules/generate.rb b/rules/generate.rb
index 5bba466..2626ecd 100755
--- a/rules/generate.rb
+++ b/rules/generate.rb
@@ -302,10 +302,10 @@ def write_tex(file, fin)
 
 PHP_HEADER = <<EOH
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
-<html><head>
-
 
-<meta http-equiv="Content-Type" content="text/html;charset=utf-8"><title>Capture the Flag with Stuff</title>
+<?php
+$TEMPLATE_HEADERS=<<<HEAD
+<meta http-equiv="Content-Type" content="text/html;charset=utf-8">
 
 <link rel="stylesheet" type="text/css" href="basic.css">
 <style type="text/css">
@@ -339,9 +339,9 @@ def write_tex(file, fin)
 {
    color: red;
 }
-</style></head><body>
+</style>
+HEAD;
 
-<?php
 require("../web_kgb_2000/includes/lib.php");
 require("../web_kgb_2000/includes/template.php");
 require("../web_kgb_2000/includes/template_diet.php");
@@ -387,9 +387,6 @@ def write_tex(file, fin)
    template_pagebottom();
 
 ?>
-
-
-</body></html>
 EOH
 
 # Only used for testing; the PHP header is normally used.
