diff --git a/main.c b/main.c
index 7bd838a..ff16978 100644
--- a/main.c
+++ b/main.c
@@ -245,7 +245,8 @@ void printStatistics()
   }
 
   if(flagOutputDIMACS == 0) {
-    printf("iterations:\n");
+    if (seqs[0].sati)
+      printf("iterations:\n");
     int i = 0;
     while(i*outputTimeStep+firstTimePoint < lastTimePoint && seqs[i].sati) {
       printf("  - horizon: %i\n",seqs[i].sati->nOfTPoints-1);