formatting
diff --git a/downloads.php b/downloads.php
index 5b0fa85..8e0296d 100644
--- a/downloads.php
+++ b/downloads.php
@@ -301,7 +301,6 @@
     </tr>
     </table>
     </li>
-    </ul>
   
   
   <h3 id="milestones6">AspectJ 6</h3>