diff --git a/nixos/tests/agda.nix b/nixos/tests/agda.nix
index e158999e57d..3b3eb2803bd 100644
--- a/nixos/tests/agda.nix
+++ b/nixos/tests/agda.nix
@@ -31,7 +31,7 @@ in
     machine.succeed('echo "import IO" > TestIO.agda')
     machine.succeed("agda -l standard-library -i . TestIO.agda")
 
-    # # Hello world
+    # Hello world
     machine.succeed(
         "cp ${hello-world} HelloWorld.agda"
     )