diff --git a/src/storm/logic/FormulaInformation.cpp b/src/storm/logic/FormulaInformation.cpp
index 900da239a..a6f471922 100644
--- a/src/storm/logic/FormulaInformation.cpp
+++ b/src/storm/logic/FormulaInformation.cpp
@@ -2,10 +2,8 @@
 
 namespace storm {
     namespace logic {
-        FormulaInformation::FormulaInformation() {
-            this->mContainsRewardOperator = false;
-            this->mContainsNextFormula = false;
-            this->mContainsBoundedUntilFormula = false;
+        FormulaInformation::FormulaInformation() : mContainsRewardOperator(false), mContainsNextFormula(false), mContainsBoundedUntilFormula(false), mContainsCumulativeRewardFormula(false), mContainsRewardBoundedFormula(false) {
+            // Intentionally left empty
         }
         
         bool FormulaInformation::containsRewardOperator() const {