diff --git a/bin/test_snikket_launch b/bin/test_snikket_launch
index 5ffec163265d18854c1a57bb96314b6500a55416..b7c8776bc593b922ad1781cad132127ae94b404d 100755
--- a/bin/test_snikket_launch
+++ b/bin/test_snikket_launch
@@ -29,8 +29,8 @@ CONFIG = Dhall.load(<<-DHALL).sync
 		jid: Text,
 		password: Text,
 		sgx_jmp: Text,
-		interval: Int,
-		max_attempts: Int
+		interval: Natural,
+		max_attempts: Natural
 	}
 DHALL