Admin/website/index.html

--- a/Admin/website/index.html	Thu Aug 25 09:25:03 2005 +0200
+++ b/Admin/website/index.html	Thu Aug 25 09:29:05 2005 +0200
@@ -24,7 +24,7 @@
         overview</a>.
         </p>
         <p>
-        These site provides general information on Isabelle, more
+        This site provides general information on Isabelle, more
         specific information is available from the local sites
         </p>