diff --git a/prism/src/param/ParamModel.java b/prism/src/param/ParamModel.java
index d2cc329c..7eb9d4db 100644
--- a/prism/src/param/ParamModel.java
+++ b/prism/src/param/ParamModel.java
@@ -595,6 +595,7 @@ public final class ParamModel extends ModelExplicit implements MDPGeneric<Functi
 	ParamModel instantiate(Point point)
 	{
 		ParamModel result = new ParamModel();
+		result.setModelType(getModelType());
 		result.reserveMem(numStates, numTotalChoices, numTotalTransitions);
 		result.initialStates = new LinkedList<Integer>(this.initialStates);
 		for (int state = 0; state < numStates; state++) {