diff --git a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
index a116077a1..be50cbfff 100644
--- a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
+++ b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
@@ -556,7 +556,7 @@ namespace storm {
                                     overApproximation->setCurrentStateIsTruncated();
                                     if (fixPoint) {
                                         // Properly check whether this can still be a fixpoint
-                                        if (overApproximation->currentStateIsOptimalSchedulerReachable()) {
+                                        if (overApproximation->currentStateIsOptimalSchedulerReachable() && !storm::utility::isZero(gap)) {
                                             fixPoint = false;
                                         }
                                         //} else {