diff --git a/web/gui/src/main/webapp/index.html b/web/gui/src/main/webapp/index.html
index 061cd7b..07395cb 100644
--- a/web/gui/src/main/webapp/index.html
+++ b/web/gui/src/main/webapp/index.html
@@ -57,6 +57,7 @@
     <script src="app/fw/util/theme.js"></script>
     <script src="app/fw/util/keys.js"></script>
     <script src="app/fw/util/prefs.js"></script>
+    <script src="app/fw/util/lion.js"></script>
 
     <script src="app/fw/mast/mast.js"></script>
     <script src="app/fw/nav/nav.js"></script>