diff --git a/index.html b/index.html
index d0b0c96..96c4fd6 100644
--- a/index.html
+++ b/index.html
@@ -22,7 +22,7 @@
       <div id="unify-output"></div>
   </div>
   <script type="text/javascript" src="highlight.min.js"></script>
-  <script type="text/javascript" src="target/scala-2.13/fj-typeinference-fastopt/main.js"></script>
+  <script type="text/javascript" src="target/scala-2.13/fj-typeinference-opt/main.js"></script>
   <br/>
   <p>Credit: the layout of this page was shamelessly stolen from <a href="https://github.com/LPTK/simple-algebraic-subtyping">the Simple-sub demo page</a>.</p>
   </body>