diff --git a/src/storm-dft/storage/dft/DFT.cpp b/src/storm-dft/storage/dft/DFT.cpp
index b65638691..611a9c5d9 100644
--- a/src/storm-dft/storage/dft/DFT.cpp
+++ b/src/storm-dft/storage/dft/DFT.cpp
@@ -93,7 +93,7 @@ namespace storm {
 
         template<typename ValueType>
         void DFT<ValueType>::setDynamicBehaviorInfo() {
-            std::vector<bool> dynamicBehaviorVector(mElements.size());
+            std::vector<bool> dynamicBehaviorVector(mElements.size(), false);
 
             std::queue <DFTElementPointer> elementQueue;