diff --git a/prism/src/parser/Declaration.java b/prism/src/parser/Declaration.java
index 27df48c6..a67633f3 100644
--- a/prism/src/parser/Declaration.java
+++ b/prism/src/parser/Declaration.java
@@ -236,10 +236,10 @@ public class Declaration
 	public String toString()
 	{
 		if (type == Expression.INT) {
-			return name + " : [" + low + ".." + high + "] init " + start + ";";
+			return name + " : [" + low + ".." + high + "] init " + start;
 		}
 		else if (type == Expression.BOOLEAN) {
-			return name + " : bool init " + start + ";";
+			return name + " : bool init " + start;
 		}
 		else return "";
 	}
diff --git a/prism/src/parser/ModulesFile.java b/prism/src/parser/ModulesFile.java
index bcd8eb1f..ec00605a 100644
--- a/prism/src/parser/ModulesFile.java
+++ b/prism/src/parser/ModulesFile.java
@@ -815,7 +815,7 @@ public class ModulesFile
 		
 		n = globals.size();
 		for (i = 0; i < n; i++) {
-			s += "global " + globals.elementAt(i) + "\n";
+			s += "global " + globals.elementAt(i) + ";\n";
 		}
 		if (n > 0) {
 			s += "\n";