From f1e68fb516b5a8e83a9a2c923424313d0098a728 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Sun, 8 Feb 2015 22:52:20 +0000
Subject: [PATCH] Turn <image> tag into <img>.

Not sure how I managed to write the former by mistake, but I didn't
notice because browsers didn't immediately complain. Still, James
Harvey points out, it ought to be turned into the actually
standards-compliant spelling of the tag. Ahem.
---
 webpage.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webpage.pl b/webpage.pl
index 6030208..3a0779e 100755
--- a/webpage.pl
+++ b/webpage.pl
@@ -27,7 +27,7 @@ while (<$desc>) {
         '<span class="puzzle"><table>'.
         '<tr><th align="center">%s</th></tr>'.
         '<tr><td align="center">'.
-        '<image style="margin: 0.5em" alt="" title="%s" width=150 height=150 border=0 src="%s-web.png" />'.
+        '<img style="margin: 0.5em" alt="" title="%s" width=150 height=150 border=0 src="%s-web.png" />'.
         '</td></tr>'.
         '<tr><td align="center" style="font-size: 70%%"><code>[</code>'.
         ' <a href="java/%s.html">java</a> '.