@@ -86,7 +86,7 @@ in
   };
   nixosConfigurations."worldcoin-hil-munich-7" = hilConfig {
       hostname = "worldcoin-hil-munich-7";
-    };
+  };
   nixosConfigurations."worldcoin-hil-sf-0" = hilConfig {
     hostname = "worldcoin-hil-sf-0";
   };