diff --git a/ansible/inventory/hosts b/ansible/inventory/hosts
index 34b67d2..0516121 100644
--- a/ansible/inventory/hosts
+++ b/ansible/inventory/hosts
@@ -39,7 +39,6 @@ freecad_mcp:
 kernos:
   hosts:
     caliban.incus:
-    korax.helu.ca:
 
 gitea:
   hosts:
diff --git a/ansible/kernos/stage.yml b/ansible/kernos/stage.yml
index 9e31a50..10c113b 100644
--- a/ansible/kernos/stage.yml
+++ b/ansible/kernos/stage.yml
@@ -4,7 +4,7 @@
   gather_facts: false
   vars:
     archive_path: "{{rel_dir}}/kernos_{{kernos_rel}}.tar"
-    kernos_repo_url: "ssh://robert@clio.helu.ca:18677/mnt/dev/kernos"
+    kernos_repo_url: "ssh://git@git.helu.ca:22022/r/kernos.git"
     kernos_repo_dir: "{{repo_dir}}/kernos"
 
   tasks:
diff --git a/terraform/containers.tf b/terraform/containers.tf
index 0f60894..7c028e2 100644
--- a/terraform/containers.tf
+++ b/terraform/containers.tf
@@ -114,8 +114,8 @@ EOT
         name = "puck_ports"
         type = "proxy"
         properties = {
-          listen  = "tcp:0.0.0.0:25570-25589"
-          connect = "tcp:127.0.0.1:25570-25589"
+          listen  = "tcp:0.0.0.0:25570-25588"
+          connect = "tcp:127.0.0.1:25570-25588"
         }
       },
         {