diff --git a/minix/kernel/utility.c b/minix/kernel/utility.c
index 2cba5067d..1e7cb02b6 100644
--- a/minix/kernel/utility.c
+++ b/minix/kernel/utility.c
@@ -36,6 +36,7 @@ void panic(const char *fmt, ...)
   }
 
   printf("kernel on CPU %d: ", cpuid);
+  va_end(arg)
   util_stacktrace();
 
 #if 0