diff --git a/prism/src/prism/StateValuesDV.java b/prism/src/prism/StateValuesDV.java
index cae5f6d8..085bb1d9 100644
--- a/prism/src/prism/StateValuesDV.java
+++ b/prism/src/prism/StateValuesDV.java
@@ -69,15 +69,15 @@ public class StateValuesDV implements StateValues
 
 	// CONSTRUCTORS
 
-	public StateValuesDV(DoubleVector p, Model m)
+	public StateValuesDV(DoubleVector values, Model model)
 	{
 		int i;
 
 		// store values vector
-		values = p;
+		this.values = values;
 
 		// get info from model
-		model = m;
+		this.model = model;
 		vars = model.getAllDDRowVars();
 		numVars = vars.n();
 		odd = model.getODD();
diff --git a/prism/src/prism/StateValuesMTBDD.java b/prism/src/prism/StateValuesMTBDD.java
index a18d9b93..26dd0a97 100644
--- a/prism/src/prism/StateValuesMTBDD.java
+++ b/prism/src/prism/StateValuesMTBDD.java
@@ -64,15 +64,15 @@ public class StateValuesMTBDD implements StateValues
 
 	// CONSTRUCTOR
 	
-	public StateValuesMTBDD(JDDNode p, Model m)
+	public StateValuesMTBDD(JDDNode values, Model model)
 	{
 		int i;
 		
 		// store values vector mtbdd
-		values = p;
+		this.values = values;
 		
 		// get info from model
-		model = m;
+		this.model = model;
 		vars = model.getAllDDRowVars();
 		reach = model.getReach();
 		numDDRowVars = model.getNumDDRowVars();