diff --git a/src/storage/DeterministicModelBisimulationDecomposition.cpp b/src/storage/DeterministicModelBisimulationDecomposition.cpp
index 6cf4f00ca..33d2589da 100644
--- a/src/storage/DeterministicModelBisimulationDecomposition.cpp
+++ b/src/storage/DeterministicModelBisimulationDecomposition.cpp
@@ -643,7 +643,7 @@ namespace storm {
                     measureDrivenInitialPartition = true;
                 }
             } else if (newFormula->isReachabilityRewardFormula()) {
-                rightSubformula = newFormula->asEventuallyFormula().getSubformula().asSharedPointer();
+                rightSubformula = newFormula->asReachabilityRewardFormula().getSubformula().asSharedPointer();
                 if (rightSubformula->isPropositionalFormula()) {
                     measureDrivenInitialPartition = true;
                 }