diff --git a/www/editor.html b/www/editor.html
index 3e0de699..8ace0881 100644
--- a/www/editor.html
+++ b/www/editor.html
@@ -46,7 +46,7 @@
         r = await fetch('api/config', {method: 'POST', body: editor.getValue()});
         if (r.ok) {
             alert('OK');
-            fetch('api/restart', {method: 'POST'});
+            await fetch('api/restart', {method: 'POST'});
         } else {
             alert(await r.text());
         }
diff --git a/www/log.html b/www/log.html
index ec20149e..d2e3cbf4 100644
--- a/www/log.html
+++ b/www/log.html
@@ -82,8 +82,8 @@
             .replace(/\n/g, '<br>');
     }
 
-    let reverseBtn = document.getElementById('reverse');
-    let update = document.getElementById('update');
+    const reverseBtn = document.getElementById('reverse');
+    const update = document.getElementById('update');
 
     let reverseOrder = false;
     let autoUpdateEnabled = true;
diff --git a/www/main.js b/www/main.js
index bb2bfec6..2c15e071 100644
--- a/www/main.js
+++ b/www/main.js
@@ -179,7 +179,8 @@ document.addEventListener('DOMContentLoaded', () => {
     // Update the editor theme based on the dark mode state
     const updateEditorTheme = () => {
         if (typeof editor !== 'undefined') {
-            editor.setTheme(isDarkModeEnabled() ? "ace/theme/tomorrow_night_eighties" : "ace/theme/github");        }
+            editor.setTheme(isDarkModeEnabled() ? 'ace/theme/tomorrow_night_eighties' : 'ace/theme/github');
+        }
     };
 
     // Initial update for dark mode and toggle button