diff --git a/src/storm/logic/EventuallyFormula.cpp b/src/storm/logic/EventuallyFormula.cpp
index c8ed335e5..12a77d49b 100644
--- a/src/storm/logic/EventuallyFormula.cpp
+++ b/src/storm/logic/EventuallyFormula.cpp
@@ -57,10 +57,10 @@ namespace storm {
                 
         std::ostream& EventuallyFormula::writeToStream(std::ostream& out) const {
             out << "F ";
-            this->getSubformula().writeToStream(out);
             if (hasRewardAccumulation()) {
                 out << "[" << getRewardAccumulation() << "]";
             }
+            this->getSubformula().writeToStream(out);
             return out;
         }
     }