--- a/lib/html/index2.html Wed Feb 09 12:28:44 2000 +0100
+++ b/lib/html/index2.html Wed Feb 09 12:29:03 2000 +0100
@@ -4,7 +4,7 @@
<body>
-<center><img src="../gif/isabelle.gif" alt="Isabelle"></center>
+<center><img src="../isabelle.gif" alt="Isabelle"></center>
<p>