diff --git a/src/adapters/GmmxxAdapter.h b/src/adapters/GmmxxAdapter.h
index 624b43f80..c3dd49779 100644
--- a/src/adapters/GmmxxAdapter.h
+++ b/src/adapters/GmmxxAdapter.h
@@ -9,6 +9,7 @@
 #define STORM_ADAPTERS_GMMXXADAPTER_H_
 
 #include <new>
+#include <utility>
 
 #include "gmm/gmm_matrix.h"
 
diff --git a/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h b/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h
index 68491f85b..213cca81f 100644
--- a/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h
+++ b/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h
@@ -2,6 +2,7 @@
 #define STORM_MODELCHECKER_CSL_SPARSEMARKOVAUTOMATONCSLMODELCHECKER_H_
 
 #include <stack>
+#include <utility>
 
 #include "src/modelchecker/csl/AbstractModelChecker.h"
 #include "src/modelchecker/prctl/SparseMdpPrctlModelChecker.h"
diff --git a/src/solver/GmmxxLinearEquationSolver.cpp b/src/solver/GmmxxLinearEquationSolver.cpp
index 2cb466059..f81f4267a 100644
--- a/src/solver/GmmxxLinearEquationSolver.cpp
+++ b/src/solver/GmmxxLinearEquationSolver.cpp
@@ -1,8 +1,7 @@
 #include "GmmxxLinearEquationSolver.h"
 
-#include <vector>
-#include <string>
 #include <cmath>
+#include <utility>
 
 #include "src/adapters/GmmxxAdapter.h"
 #include "src/settings/Settings.h"
diff --git a/src/solver/GmmxxNondeterministicLinearEquationSolver.cpp b/src/solver/GmmxxNondeterministicLinearEquationSolver.cpp
index 3b7b65341..d83fe1657 100644
--- a/src/solver/GmmxxNondeterministicLinearEquationSolver.cpp
+++ b/src/solver/GmmxxNondeterministicLinearEquationSolver.cpp
@@ -1,4 +1,7 @@
 #include "src/solver/GmmxxNondeterministicLinearEquationSolver.h"
+
+#include <utility>
+
 #include "src/settings/Settings.h"
 #include "src/adapters/GmmxxAdapter.h"
 #include "src/utility/vector.h"
diff --git a/src/solver/NativeLinearEquationSolver.cpp b/src/solver/NativeLinearEquationSolver.cpp
index 959126631..d55b4e2e5 100644
--- a/src/solver/NativeLinearEquationSolver.cpp
+++ b/src/solver/NativeLinearEquationSolver.cpp
@@ -1,4 +1,7 @@
 #include "src/solver/NativeLinearEquationSolver.h"
+
+#include <utility>
+
 #include "src/settings/Settings.h"
 #include "src/utility/vector.h"
 #include "src/exceptions/InvalidStateException.h"
diff --git a/src/solver/NativeNondeterministicLinearEquationSolver.cpp b/src/solver/NativeNondeterministicLinearEquationSolver.cpp
index 78efa5b7c..763ff6628 100644
--- a/src/solver/NativeNondeterministicLinearEquationSolver.cpp
+++ b/src/solver/NativeNondeterministicLinearEquationSolver.cpp
@@ -1,4 +1,7 @@
 #include "src/solver/NativeNondeterministicLinearEquationSolver.h"
+
+#include <utility>
+
 #include "src/settings/Settings.h"
 #include "src/utility/vector.h"
 
diff --git a/src/storage/SparseMatrix.h b/src/storage/SparseMatrix.h
index 587a138bb..dbb80745b 100644
--- a/src/storage/SparseMatrix.h
+++ b/src/storage/SparseMatrix.h
@@ -144,7 +144,7 @@ namespace storm {
             friend class storm::adapters::StormAdapter;
             
             typedef typename std::vector<std::pair<uint_fast64_t, T>>::iterator iterator;
-            typedef typename std::vector<std::pair<uint_fast64_t, T> const>::const_iterator const_iterator;
+            typedef typename std::vector<std::pair<uint_fast64_t, T>>::const_iterator const_iterator;
             
             /*!
              * This class represents a number of consecutive rows of the matrix.
diff --git a/src/utility/counterexamples.h b/src/utility/counterexamples.h
index 85efce7fe..d35828a62 100644
--- a/src/utility/counterexamples.h
+++ b/src/utility/counterexamples.h
@@ -9,6 +9,7 @@
 #define STORM_UTILITY_COUNTEREXAMPLE_H_
 
 #include <queue>
+#include <utility>
 
 namespace storm {
     namespace utility {