--- a/Admin/website/dist/others.html	Mon Jun 06 13:43:39 2005 +0200
+++ b/Admin/website/dist/others.html	Mon Jun 06 14:11:05 2005 +0200
@@ -16,7 +16,7 @@
     <div id="content">
       <h2>More about Isabelle</h2>
 
-      <p>is available on our main pages</p>
+      <p>is available on our main sites:</p>
 
       <ul>
         <li>at <a href=