diff --git a/docs_theme/js/theme.js b/docs_theme/js/theme.js
index 6d5380693..8208f1f48 100644
--- a/docs_theme/js/theme.js
+++ b/docs_theme/js/theme.js
@@ -27,7 +27,7 @@ $(function() {
     $('pre code').parent().addClass('prettyprint well');
 
     $(document).on("submit", "#mkdocs_search_modal form", function (e) {
-        $("#mkdocs-search-results").html("Searching...")
+        $("#mkdocs-search-results").html("Searching...");
         initialise_search();
         return false;
     });