diff --git a/prism/src/parser/ast/ModulesFile.java b/prism/src/parser/ast/ModulesFile.java
index 88b0e339..8636361c 100644
--- a/prism/src/parser/ast/ModulesFile.java
+++ b/prism/src/parser/ast/ModulesFile.java
@@ -1164,7 +1164,7 @@ public class ModulesFile extends ASTElement implements ModelInfo
 	public Values getInitialValues() throws PrismLangException
 	{
 		State stateInit = getDefaultInitialState();
-		return (stateInit == null) ? null : new Values(getDefaultInitialState(), this);
+		return (stateInit == null) ? null : new Values(stateInit, this);
 	}
 
 	/**