diff --git a/prism/src/parser/PrismSyntaxHighlighter.java b/prism/src/parser/PrismSyntaxHighlighter.java
index 56583dfe..5f53228d 100644
--- a/prism/src/parser/PrismSyntaxHighlighter.java
+++ b/prism/src/parser/PrismSyntaxHighlighter.java
@@ -176,8 +176,8 @@ public class PrismSyntaxHighlighter
private static String htmlFileHeader(String title)
{
String s = "";
-
- s += "" + "\n";
+ s += "\n";
s += "" + "\n";
s += "" + "\n";
@@ -188,7 +188,7 @@ public class PrismSyntaxHighlighter
s += "" + "\n";
s += "" + "\n";
s += "" + "\n";
- s += "" + "\n";
+ s += "" + "\n";
s += "" + "\n";
return s;