diff -r 9d15911f1893 -r bc0bef4a124e Admin/website/index.html
--- a/Admin/website/index.html	Wed May 03 12:05:53 2006 +0200
+++ b/Admin/website/index.html	Wed May 03 17:41:28 2006 +0200
@@ -74,7 +74,7 @@
           <a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to
 discuss problems and results.
       To subscribe, contact our robot:
-      <a href="mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe</a>.
+      <a href="mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">Cl-isabelle-users-request@lists.cam.ac.uk</a>.
 </p>
 
     </div>