diff --git a/shells/dodona.nix b/shells/dodona.nix
index 7fd7f5c2..0e9c685b 100644
--- a/shells/dodona.nix
+++ b/shells/dodona.nix
@@ -14,8 +14,8 @@ pkgs.mkShell {
         #!${bash}/bin/bash
 
         function stopdockers {
-          echo ${docker}/bin/docker stop dodona-db | ${at}/bin/at NOW
-          echo ${docker}/bin/docker stop dodona-cache | ${at}/bin/at NOW
+          echo ${docker}/bin/docker stop dodona-db | at NOW
+          echo ${docker}/bin/docker stop dodona-cache | at NOW
         }
 
         trap stopdockers 0