1 files changed, 4 insertions, 3 deletions
diff --git a/html/header.phtml b/html/header.phtml
index 4d62176a..0415a7b9 100644
--- a/html/header.phtml
+++ b/html/header.phtml
@@ -1,4 +1,5 @@
-<table width="80%" align=top>
+<!-- This is the header -->
+<table width="80%">
 <tr>
 <td width="300">
 <a href="index.phtml">
@@ -7,7 +8,7 @@
 </a>
 </td>
 <td>
-  <img src="images/pg-text.gif">
+  <img src="images/pg-text.gif" alt="Proof General">
   <br>
   <h1>Organize your proofs!</h1>
 <?php
@@ -49,4 +50,4 @@
 ?>
  </tr>
 </table>
-
+<!-- End of header -->
+\ No newline at end of file