diff --git a/prism/src/parser/ModulesFile.java b/prism/src/parser/ModulesFile.java
index 53dda1aa..3cabbc26 100644
--- a/prism/src/parser/ModulesFile.java
+++ b/prism/src/parser/ModulesFile.java
@@ -794,6 +794,13 @@ public class ModulesFile
 		String s = "", tmp;
 		int i, n;
 		
+		switch (type) {
+		case PROBABILISTIC: s += "dtmc"; break;
+		case NONDETERMINISTIC: s += "mdp"; break;
+		case STOCHASTIC: s += "ctmc"; break;
+		}
+		s += "\n\n";
+		
 		tmp = "" + formulaList;
 		if (tmp.length() > 0) tmp += "\n";
 		s += tmp;