diff --git a/src/storage/dd/CuddAdd.cpp b/src/storage/dd/CuddAdd.cpp
index af8eea9ca..691b500a1 100644
--- a/src/storage/dd/CuddAdd.cpp
+++ b/src/storage/dd/CuddAdd.cpp
@@ -1039,10 +1039,10 @@ namespace storm {
                 
                 // Finally, delete the names.
                 for (char* element : ddNames) {
-                    delete element;
+                    delete[] element;
                 }
                 for (char* element : ddVariableNames) {
-                    delete element;
+                    delete[] element;
                 }
             }
         }
diff --git a/src/utility/cli.h b/src/utility/cli.h
index 73f18315e..c28394f6d 100644
--- a/src/utility/cli.h
+++ b/src/utility/cli.h
@@ -35,6 +35,7 @@
 #include "src/models/ModelBase.h"
 #include "src/models/sparse/Model.h"
 #include "src/models/symbolic/Model.h"
+#include "src/models/symbolic/StandardRewardModel.h"
 
 #include "src/storage/dd/CuddAdd.h"
 #include "src/storage/dd/CuddBdd.h"
diff --git a/test/functional/storage/BitVectorTest.cpp b/test/functional/storage/BitVectorTest.cpp
index 88715dff7..f363f9679 100644
--- a/test/functional/storage/BitVectorTest.cpp
+++ b/test/functional/storage/BitVectorTest.cpp
@@ -59,21 +59,21 @@ TEST(BitVectorTest, GetAsInt) {
     vector.set(64);
     vector.set(65);
 
-    EXPECT_EQ(1, vector.getAsInt(62, 1));
-    EXPECT_EQ(3, vector.getAsInt(62, 2));
-    EXPECT_EQ(7, vector.getAsInt(62, 3));
-    EXPECT_EQ(15, vector.getAsInt(62, 4));
+    EXPECT_EQ(1ul, vector.getAsInt(62, 1));
+    EXPECT_EQ(3ul, vector.getAsInt(62, 2));
+    EXPECT_EQ(7ul, vector.getAsInt(62, 3));
+    EXPECT_EQ(15ul, vector.getAsInt(62, 4));
     
     vector.set(64, false);
 
-    EXPECT_EQ(1, vector.getAsInt(62, 1));
-    EXPECT_EQ(3, vector.getAsInt(62, 2));
-    EXPECT_EQ(6, vector.getAsInt(62, 3));
-    EXPECT_EQ(13, vector.getAsInt(62, 4));
+    EXPECT_EQ(1ul, vector.getAsInt(62, 1));
+    EXPECT_EQ(3ul, vector.getAsInt(62, 2));
+    EXPECT_EQ(6ul, vector.getAsInt(62, 3));
+    EXPECT_EQ(13ul, vector.getAsInt(62, 4));
     
     vector.set(61);
     vector.set(62, false);
-    EXPECT_EQ(2, vector.getAsInt(61, 2));
+    EXPECT_EQ(2ul, vector.getAsInt(61, 2));
 }
 
 TEST(BitVectorTest, SetFromInt) {