diff --git a/app/client/models/AdminChecks.ts b/app/client/models/AdminChecks.ts
index 8959fecb..da720306 100644
--- a/app/client/models/AdminChecks.ts
+++ b/app/client/models/AdminChecks.ts
@@ -159,7 +159,7 @@ within a sandbox isolated from other documents and isolated
 from the network.
 `
   },
-  
+
   'system-user': {
     info: `
 It is good practice not to run Grist as the root user.
diff --git a/app/client/ui/AdminPanel.ts b/app/client/ui/AdminPanel.ts
index c8d90b65..b8e9563a 100644
--- a/app/client/ui/AdminPanel.ts
+++ b/app/client/ui/AdminPanel.ts
@@ -509,7 +509,7 @@ isolated from other documents and isolated from the network.'),
               return dom(
                 'div',
                 cssLabel(key),
-                dom('input', dom.prop('value', JSON.stringify(val))))
+                dom('input', dom.prop('value', JSON.stringify(val))));
             }),
       ],
     });
diff --git a/app/server/lib/BootProbes.ts b/app/server/lib/BootProbes.ts
index 24c7bb1a..87337ba3 100644
--- a/app/server/lib/BootProbes.ts
+++ b/app/server/lib/BootProbes.ts
@@ -190,7 +190,6 @@ const _hostHeaderProbe: Probe = {
   },
 };
 
-
 const _sandboxingProbe: Probe = {
   id: 'sandboxing',
   name: 'Is document sandboxing effective',