diff --git a/cmds/dumpstate/utils.cpp b/cmds/dumpstate/utils.cpp
index 78bab81..e49d766 100644
--- a/cmds/dumpstate/utils.cpp
+++ b/cmds/dumpstate/utils.cpp
@@ -114,7 +114,7 @@
         return;
     }
 
-    printf("\n------ %s ------\n", header);
+    if (header) printf("\n------ %s ------\n", header);
     while ((de = readdir(d))) {
         int pid;
         int fd;