diff --git a/prism/src/explicit/ConstructModel.java b/prism/src/explicit/ConstructModel.java
index 5017f960..4cc2487c 100644
--- a/prism/src/explicit/ConstructModel.java
+++ b/prism/src/explicit/ConstructModel.java
@@ -138,6 +138,9 @@ public class ConstructModel extends PrismComponent
 		int i, j, nc, nt, src, dest;
 		long timer;
 
+		// Get model info
+		modelType = modulesFile.getModelType();
+		
 		// Display a warning if there are unbounded vars
 		VarList varList = modulesFile.createVarList();
 		if (varList.containsUnboundedVariables())
@@ -151,7 +154,6 @@ public class ConstructModel extends PrismComponent
 		timer = System.currentTimeMillis();
 
 		// Initialise simulator for this model
-		modelType = modulesFile.getModelType();
 		engine.createNewOnTheFlyPath(modulesFile);
 
 		// Create model storage