diff --git a/prism/src/param/ParamModelChecker.java b/prism/src/param/ParamModelChecker.java
index f0791acf..fda74d59 100644
--- a/prism/src/param/ParamModelChecker.java
+++ b/prism/src/param/ParamModelChecker.java
@@ -1124,6 +1124,12 @@ final public class ParamModelChecker extends PrismComponent
 			String action = rewStruct.getSynch(rewItem);
 			boolean isTransitionReward = rewStruct.getRewardStructItem(rewItem).isTransitionReward();
 			for (int state = 0; state < numStates; state++) {
+				if (isTransitionReward && model.isDeadlockState(state)) {
+					// As state is a deadlock state, any outgoing transition
+					// was added to "fix" the deadlock and thus does not get a reward.
+					// Skip to next state
+					continue;
+				}
 				if (guard.evaluateExact(constantValues, statesList.get(state)).toBoolean()) {
 					int[] varMap = new int[statesList.get(0).varValues.length];
 					for (int i = 0; i < varMap.length; i++) {