diff --git a/src/storm/logic/FormulaInformation.cpp b/src/storm/logic/FormulaInformation.cpp
index 50ddf2e76..4adae5a3c 100644
--- a/src/storm/logic/FormulaInformation.cpp
+++ b/src/storm/logic/FormulaInformation.cpp
@@ -2,7 +2,7 @@
 
 namespace storm {
     namespace logic {
-        FormulaInformation::FormulaInformation() : mContainsRewardOperator(false), mContainsNextFormula(false), mContainsBoundedUntilFormula(false), mContainsCumulativeRewardFormula(false), mContainsRewardBoundedFormula(false) {
+        FormulaInformation::FormulaInformation() : mContainsRewardOperator(false), mContainsNextFormula(false), mContainsBoundedUntilFormula(false), mContainsCumulativeRewardFormula(false), mContainsRewardBoundedFormula(false), mContainsLongRunFormula(false) {
             // Intentionally left empty
         }
         
diff --git a/src/storm/utility/Portfolio.cpp b/src/storm/utility/Portfolio.cpp
index ea5508840..f23ae66af 100644
--- a/src/storm/utility/Portfolio.cpp
+++ b/src/storm/utility/Portfolio.cpp
@@ -30,7 +30,7 @@ namespace storm {
                     STORM_LOG_INFO("Assuming Long Run property:" << property);
                     return PropertyType::LongRun;
                 } else {
-                    STORM_LOG_INFO("Unbounded property:" << property);
+                    STORM_LOG_INFO("Assuming Unbounded property:" << property);
                     return PropertyType::Unbounded;
                 }
             }