diff --git a/web/gui/src/main/webapp/index.html b/web/gui/src/main/webapp/index.html
index 06e0336..3a335a7 100644
--- a/web/gui/src/main/webapp/index.html
+++ b/web/gui/src/main/webapp/index.html
@@ -45,6 +45,7 @@
     <script src="app/fw/util/random.js"></script>
     <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/mast/mast.js"></script>
     <script src="app/fw/nav/nav.js"></script>