diff --git a/src/modelchecker/prctl/SymbolicDtmcPrctlModelChecker.cpp b/src/modelchecker/prctl/SymbolicDtmcPrctlModelChecker.cpp
index 9d19cfbc3..6b564cbaf 100644
--- a/src/modelchecker/prctl/SymbolicDtmcPrctlModelChecker.cpp
+++ b/src/modelchecker/prctl/SymbolicDtmcPrctlModelChecker.cpp
@@ -6,10 +6,11 @@
 
 #include "src/utility/macros.h"
 
+#include "src/models/symbolic/StandardRewardModel.h"
+
 #include "src/modelchecker/results/SymbolicQualitativeCheckResult.h"
 #include "src/modelchecker/results/SymbolicQuantitativeCheckResult.h"
 
-
 #include "src/settings/modules/GeneralSettings.h"
 
 #include "src/exceptions/InvalidStateException.h"
@@ -90,4 +91,4 @@ namespace storm {
         
         template class SymbolicDtmcPrctlModelChecker<storm::dd::DdType::CUDD, double>;
     }
-}
\ No newline at end of file
+}
diff --git a/src/modelchecker/prctl/SymbolicMdpPrctlModelChecker.cpp b/src/modelchecker/prctl/SymbolicMdpPrctlModelChecker.cpp
index b5d7df0b8..69a54d4ba 100644
--- a/src/modelchecker/prctl/SymbolicMdpPrctlModelChecker.cpp
+++ b/src/modelchecker/prctl/SymbolicMdpPrctlModelChecker.cpp
@@ -5,6 +5,8 @@
 #include "src/modelchecker/results/SymbolicQualitativeCheckResult.h"
 #include "src/modelchecker/results/SymbolicQuantitativeCheckResult.h"
 
+#include "src/models/symbolic/StandardRewardModel.h"
+
 #include "src/utility/macros.h"
 #include "src/utility/graph.h"
 
@@ -88,4 +90,4 @@ namespace storm {
         
         template class SymbolicMdpPrctlModelChecker<storm::dd::DdType::CUDD, double>;
     }
-}
\ No newline at end of file
+}
diff --git a/src/models/sparse/Dtmc.cpp b/src/models/sparse/Dtmc.cpp
index 78a8a4a0f..80dabaa2c 100644
--- a/src/models/sparse/Dtmc.cpp
+++ b/src/models/sparse/Dtmc.cpp
@@ -252,4 +252,4 @@ namespace storm {
 
         } // namespace sparse
     } // namespace models
-} // namespace storm
\ No newline at end of file
+} // namespace storm