diff --git a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
index 4bf296891..5384beea5 100644
--- a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
+++ b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
@@ -439,7 +439,7 @@ namespace storm {
                         // Update current upper bound
                         std::swap(newUpperBound, currentUpperBound);
 
-                        if (storm::utility::vector::hasPositiveEntry(ubDiffV)) {
+                        if (!storm::utility::vector::hasPositiveEntry(ubDiffV)) {
                             // Not all values moved up or stayed the same
                             // If we have a single fixed point, we can safely set the new lower bound, to the wrongly guessed upper bound
                             if (this->hasUniqueSolution()) {