diff --git a/search/js/search.js b/search/js/search.js
index 318858ebd715d2f877e2ec1b30c2178557838e17..57de07bf7fda06dbf69a60fecbf7307b5d21d92a 100644
--- a/search/js/search.js
+++ b/search/js/search.js
@@ -155,7 +155,8 @@
 			}
 
 			var $status = $searchResults.find('#status');
-			const summaryAndStatusHeight = 118;
+			// summaryAndStatusHeight is a constant
+			var summaryAndStatusHeight = 118;
 
 			function isStatusOffScreen() {
 				return $searchResults.position() && ($searchResults.position().top + summaryAndStatusHeight > window.innerHeight);