diff --git a/themes/bootstrap3/js/check_save_statuses.js b/themes/bootstrap3/js/check_save_statuses.js
index bb65b4c35bf91e5f9a16064d16cd6d8a6b46a8c4..bfa790537b0e14e5782a828cf8c6e4de37065dbb 100644
--- a/themes/bootstrap3/js/check_save_statuses.js
+++ b/themes/bootstrap3/js/check_save_statuses.js
@@ -1,4 +1,4 @@
-/*global VuFind */
+/*global htmlEncode, VuFind */
 
 function checkSaveStatuses(container) {
   if (typeof(container) == 'undefined') {
diff --git a/themes/bootstrap3/js/common.js b/themes/bootstrap3/js/common.js
index 00677408f2f8ae0fbb647e5c1bcdf209566268f8..4814677d910af13847bbcffb50ea559d63f32841 100644
--- a/themes/bootstrap3/js/common.js
+++ b/themes/bootstrap3/js/common.js
@@ -1,4 +1,4 @@
-/*global btoa, console, hexEncode, isPhoneNumberValid, Lightbox, rc4Encrypt, unescape, VuFind */
+/*global btoa, console, hexEncode, isPhoneNumberValid, Lightbox, rc4Encrypt, unescape */
 
 // IE 9< console polyfill
 window.console = window.console || {log: function () {}};