diff --git a/src/solver/Z3SmtSolver.cpp b/src/solver/Z3SmtSolver.cpp
index 800cb696d..0e89d1d6c 100644
--- a/src/solver/Z3SmtSolver.cpp
+++ b/src/solver/Z3SmtSolver.cpp
@@ -1,4 +1,4 @@
-#include "src/solver/Z3Smtsolver.h"
+#include "src/solver/Z3SmtSolver.h"
 
 #include "src/exceptions/NotSupportedException.h"
 #include "src/exceptions/InvalidStateException.h"
diff --git a/src/storage/BitVector.cpp b/src/storage/BitVector.cpp
index 0fb08f028..dc9140ede 100644
--- a/src/storage/BitVector.cpp
+++ b/src/storage/BitVector.cpp
@@ -372,13 +372,13 @@ namespace storm {
         bool BitVector::full() const {
             // Check that all buckets except the last one have all bits set.
             for (uint_fast64_t index = 0; index < bucketVector.size() - 1; ++index) {
-                if (bucketVector[index] != -1ll) {
+                if (bucketVector[index] != -1ull) {
                     return false;
                 }
             }
             
             // Now check whether the relevant bits are set in the last bucket.
-            if ((bucketVector.back() & ((1ll << (bitCount & mod64mask)) - 1ll)) != ((1ll << (bitCount & mod64mask)) - 1ll)) {
+            if ((bucketVector.back() & ((1ull << (bitCount & mod64mask)) - 1ull)) != ((1ull << (bitCount & mod64mask)) - 1ull)) {
                 return false;
             }
             return true;