diff --git a/prism/include/ExportIterations.h b/prism/include/ExportIterations.h
index 8a8a1ef6..a0a7ae34 100644
--- a/prism/include/ExportIterations.h
+++ b/prism/include/ExportIterations.h
@@ -58,12 +58,12 @@ public:
fprintf(fp, "\n");
fprintf(fp, "\n");
fprintf(fp, "%s\n", title);
- fprintf(fp, "\n");
- fprintf(fp, "\n");
+ fprintf(fp, "\n");
+ fprintf(fp, "\n");
fprintf(fp, "\n");
fprintf(fp, "%s
\n", title);
fprintf(fp, "\n");
- fprintf(fp, "\n");
+ fprintf(fp, "\n");
}
/**
diff --git a/prism/src/explicit/ExportIterations.java b/prism/src/explicit/ExportIterations.java
index 9b353800..e0e4ed66 100644
--- a/prism/src/explicit/ExportIterations.java
+++ b/prism/src/explicit/ExportIterations.java
@@ -66,12 +66,12 @@ public class ExportIterations {
log.println("");
log.println("");
log.println("" + title + "");
- log.println("");
- log.println("");
+ log.println("");
+ log.println("");
log.println("");
log.println("" + title + "
");
log.println("");
- log.println("");
+ log.println("");
log.flush();
}