diff -r bf4f2c1b26cc -r e9e341bc7d42 Admin/website/overview.html
--- a/Admin/website/overview.html	Tue Sep 27 14:41:41 2005 +0200
+++ b/Admin/website/overview.html	Tue Sep 27 15:30:37 2005 +0200
@@ -37,7 +37,7 @@
       University of Munich, Germany).</p>
 
       <p>Isabelle is distributed <em>freely</em> as Open Source
-      Software <!--a href="//dist/packages/Isabelle/COPYRIGHT"-->BSD
+      Software <!--a href="//dist/Isabelle/COPYRIGHT"-->BSD
       license<!--/a-->; see the <a
       href="installation.html">installation instructions</a>.</p>