diff --git a/prism/src/prism/NondetModel.java b/prism/src/prism/NondetModel.java
index 68a7660e..463ef670 100644
--- a/prism/src/prism/NondetModel.java
+++ b/prism/src/prism/NondetModel.java
@@ -60,8 +60,7 @@ public class NondetModel extends ProbModel
 
 	public String getTypeString()
 	{
-		return "Nondeterministic (MDP)"; // TODO: Change this after regression testing
-		//return "MDP";
+		return "MDP";
 	}
 
 	public long getNumChoices()
diff --git a/prism/src/prism/ProbModel.java b/prism/src/prism/ProbModel.java
index 4cda2f83..95538128 100644
--- a/prism/src/prism/ProbModel.java
+++ b/prism/src/prism/ProbModel.java
@@ -94,8 +94,7 @@ public class ProbModel implements Model
 
 	public String getTypeString()
 	{
-		return "Probabilistic (DTMC)"; // TODO: Change this after regression testing
-		//return "DTMC";
+		return "DTMC";
 	}
 
 	// modules
diff --git a/prism/src/prism/StochModel.java b/prism/src/prism/StochModel.java
index b2216a94..58eb4831 100644
--- a/prism/src/prism/StochModel.java
+++ b/prism/src/prism/StochModel.java
@@ -45,8 +45,7 @@ public class StochModel extends ProbModel
 
 	public String getTypeString()
 	{
-		return "Stochastic (CTMC)"; // TODO: Change this after regression testing
-		//return "CTMC";
+		return "CTMC";
 	}
 
 	public String getTransName()