diff --git a/www/index.html b/www/index.html
index 8b7fab9..c5b60ed 100644
--- a/www/index.html
+++ b/www/index.html
@@ -41,20 +41,20 @@ object
 the applications and implementation techniques we have looked at using
 Kali Scheme include: </p>
 <p></p>
-<dl>
-  <dd> User-level load balancing
-and migration. </dd>
-  <dd> Incremental distributed
-linking of code objects. </dd>
-  <dd> Parameterized client-server
-applications. </dd>
-  <dd> Long-lived parallel
-computations. </dd>
-  <dd> Distributed data mining. </dd>
-  <dd> Executable content in
+<ul>
+  <li> User-level load balancing
+and migration. </li>
+  <li> Incremental distributed
+linking of code objects. </li>
+  <li> Parameterized client-server
+applications. </li>
+  <li> Long-lived parallel
+computations. </li>
+  <li> Distributed data mining. </li>
+  <li> Executable content in
 messages over wide-area networks (e.g. the
-World-Wide Web) </dd>
-</dl>
+World-Wide Web) </li>
+</ul>
 <h2>Related papers</h2>
 <p>
 Kali Scheme is described in