1 files changed, 1 insertions, 0 deletions
diff --git a/www/index.html b/www/index.html
index e789bf56..fe4e2bb1 100644
--- a/www/index.html
+++ b/www/index.html
@@ -29,6 +29,7 @@
 <!--  <p>FIXME: Somewhere need to describe what KLEE can do well and what
       is more "experimental" or research level. This should also address
       how KLEE could be used by outside groups (i.e. kleaver).</p> -->
+
 </div>
 </body>
 </html>