diff --git a/src/core/js/ext_bookmarks.js b/src/core/js/ext_bookmarks.js
index 12f3d995e5d4e55436adff496e13918ccaeedd60..0c466f4efaae8dc739d84fa89c95fe3d4d82d7ee 100644
--- a/src/core/js/ext_bookmarks.js
+++ b/src/core/js/ext_bookmarks.js
@@ -586,10 +586,10 @@ var ext_bookmarks = function ($, logger, config) {
          * Initialize this module.
          */
         const init = async function (scope) {
-            logger.info("init ext_bookmarks");
-            //add_bookmark_buttons();
-            counter = 0;
-            const parsed_uri = parse_uri(window.location.href);
+                    logger.info("init ext_bookmarks");
+                    //add_bookmark_buttons();
+                    counter = 0;
+                    const parsed_uri = parse_uri(window.location.href);
             if (typeof parsed_uri != "undefined") {
                 // this hack removes the "#_bm" marker from the uri without
                 // reloading the page.