diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/Makefile b/resources/3rdparty/ltl2dstar-0.5.1/src/Makefile
index 2228f1a7b..fb906d693 100644
--- a/resources/3rdparty/ltl2dstar-0.5.1/src/Makefile
+++ b/resources/3rdparty/ltl2dstar-0.5.1/src/Makefile
@@ -1,4 +1,4 @@
-GPP = g++
+GPP = clang++
 
 #DEFINES  =
 #DEBUGFLAGS = -g -fno-default-inline -fkeep-inline-functions
diff --git a/src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h b/src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h
index 418724e3a..e48046aa7 100644
--- a/src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h
+++ b/src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h
@@ -418,7 +418,7 @@ public:
             
             // Initialize the x vector with 1 for each element. This is the initial guess for
             // the iterative solvers.
-            std::vector<Type> x(submatrix.getColCount(), storm::utility::constGetOne<Type>());
+            std::vector<Type> x(submatrix.getColumnCount(), storm::utility::constGetOne<Type>());
             
             // Prepare the right-hand side of the equation system.
             std::vector<Type> b(submatrix.getRowCount());