diff -r 9763b78adb1b -r 2fe254a20a42 Admin/website/installation.html
--- a/Admin/website/installation.html	Tue Sep 27 17:01:10 2005 +0200
+++ b/Admin/website/installation.html	Tue Sep 27 17:01:49 2005 +0200
@@ -113,8 +113,8 @@
 		Linux versions, see also <a
 		href="http://www.polyml.org/linuxsegfault.html">Segmentation
 		faults with Linux</a> on the Poly/ML site.
-
-	    </li> </ul>
+	    </li>
+	</ul>
 
       <h2 id="install_darwin">MaxOS X / Darwin</h2>