diff --git a/hosts/procul.nix b/hosts/procul.nix
index 6cb3d10..b7e9ddc 100644
--- a/hosts/procul.nix
+++ b/hosts/procul.nix
@@ -1,6 +1,5 @@
 {
   description = "informis.land server.";
-  docker-server = true;
   rp = "viator";
   admin-email = "viator@fudo.org";
   domain = "informis.land";
@@ -12,14 +11,16 @@
   nixos-system = true;
   machine-id = "41119f30fdf742dd82d20d94b7a2aa25";
   master-key = {
-    public-key = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIIqUnzf8bfPyoJX6XjFqD6v5MZQnV8STP0152VS3uwM7";
+    public-key =
+      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIIqUnzf8bfPyoJX6XjFqD6v5MZQnV8STP0152VS3uwM7";
     key-path = "/state/master-key/ed25519_key";
   };
   initrd-network = {
     ip = "172.86.179.18";
     interface = "enp0s25";
     keypair = {
-      public-key = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIIgvl/pxPGN5XuUFsEywHV/PJMI+wPHA6NKTtE8SZC04";
+      public-key =
+        "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIIgvl/pxPGN5XuUFsEywHV/PJMI+wPHA6NKTtE8SZC04";
       private-key-file = "/state/ssh/initrd/ssh_ed25519_key";
     };
   };