diff --git a/themes/bootstrap3/js/facets.js b/themes/bootstrap3/js/facets.js
index 563638c3390feabd33f327e3ef1eca94491a9758..852b5cb0a3e495e6b0648b4c78423652d48a3017 100644
--- a/themes/bootstrap3/js/facets.js
+++ b/themes/bootstrap3/js/facets.js
@@ -1,4 +1,4 @@
-/*global htmlEncode, path */
+/*global htmlEncode, path, vufindString */
 function buildFacetNodes(data, currentPath, allowExclude, excludeTitle, counts)
 {
   var json = [];