diff --git a/src/zzuf.c b/src/zzuf.c
index 0f20d6c..74df71b 100644
--- a/src/zzuf.c
+++ b/src/zzuf.c
@@ -542,7 +542,9 @@ static void clean_children(void)
                     child_list[i].seed, WEXITSTATUS(status));
             crashes++;
         }
-        else if(WIFSIGNALED(status))
+        else if(WIFSIGNALED(status)
+                 && !(WTERMSIG(status) == SIGTERM
+                       && child_list[i].status == STATUS_SIGTERM))
         {
             fprintf(stdout, "zzuf[seed=%i]: signal %i%s\n",
                     child_list[i].seed, WTERMSIG(status),