diff --git a/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp b/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp
index 9769da00f..1ded07a38 100644
--- a/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp
+++ b/src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp
@@ -156,6 +156,8 @@ namespace storm {
                 
                 // Policy improvement step.
                 storm::dd::Add<DdType, ValueType> tmp = this->A.multiplyMatrix(schedulerX.swapVariables(this->rowColumnMetaVariablePairs), this->columnMetaVariables);
+                tmp += b;
+                
                 storm::dd::Bdd<DdType> nextScheduler;
                 if (minimize) {
                     tmp += illegalMaskAdd;