diff --git a/profiles/user0/files/misc/justfile.nix b/profiles/user0/files/misc/justfile.nix
index 35bd400..83b0d6f 100755
--- a/profiles/user0/files/misc/justfile.nix
+++ b/profiles/user0/files/misc/justfile.nix
@@ -23,14 +23,14 @@ let
   '';
   mkMicrVMSshCommands = name: ssh: ''
     ${name}:
-      ssh -p ${ssh} root@localhost
+      ssh -p ${builtins.toString ssh} root@localhost
   '';
   systemRecords =
     command:
     lib.concatStrings [
       (command devices.ceres.name devices.ceres.ip.address0)
       (command devices.eris.name devices.eris.ip.address0)
-      (command devices.mars.name devices.deimosmars.ip.address0)
+      (command devices.mars.name devices.mars.ip.address0)
       (command devices.deimos.name devices.deimos.ip.address0)
       (command devices.phobos.name devices.phobos.ip.address0)
       (command devices.lamdagibson.name devices.lamdagibson.ip.address0)