diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java
index 31f010cf..4e2ef52a 100644
--- a/prism/src/explicit/StateValues.java
+++ b/prism/src/explicit/StateValues.java
@@ -1275,7 +1275,7 @@ public class StateValues implements StateVector
 		if (type instanceof TypeDouble) {
 			double dotProduct = 0;
 			for (int i = 0; i < size; i++) {
-				dotProduct += valuesD[i] * sv.valuesI[i];
+				dotProduct += valuesD[i] * sv.valuesD[i];
 			}
 			return dotProduct;
 		} else {