diff --git a/hermit/kernel/tasks.c b/hermit/kernel/tasks.c
index f75037c88..fe45ba017 100644
--- a/hermit/kernel/tasks.c
+++ b/hermit/kernel/tasks.c
@@ -512,6 +512,7 @@ out:
 
 	if (ret) {
 		destroy_stack(stack, DEFAULT_STACK_SIZE);
+		destroy_stack(ist, KERNEL_STACK_SIZE);
 		kfree(counter);
 	}