diff --git a/html/index.html b/html/index.html
index d4aceadcea4dca55ce48371ae2a565ca16068ad4..442278cd5eaa945570d893bd01472bd1b5734628 100644
--- a/html/index.html
+++ b/html/index.html
@@ -88,8 +88,8 @@
 <dd></dd>
 <dt><a href="credits.html">Credits</a></dt>
 <dd></dd>
-<!--dt><a href="impl.html">Systems using the API</a></dt>
-<dd></dd-->
+<dt><a href="impl.html">Systems using the API</a></dt>
+<dd></dd>
 <!--dt><a href="other.html">Other extensions</a></dt>
 <dd></dd-->
 </dl></p>