diff --git a/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp b/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp
index 170f6e863..f5ad38446 100644
--- a/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp
+++ b/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp
@@ -83,7 +83,7 @@ namespace storm {
             storm::storage::SparseMatrixBuilder<ValueType> builder(0,0,0,true,true);
             uint64_t currRow = 0;
             std::vector<uint64_t> origRowToSimpleRowMap(pomdp.getNumberOfChoices(), std::numeric_limits<uint64_t>::max());
-            uint64 currAuxState = queue.size();
+            uint64_t currAuxState = queue.size();
             while (!queue.empty()) {
                 auto group = std::move(queue.front());
                 queue.pop();
diff --git a/src/storm/generator/NextStateGenerator.h b/src/storm/generator/NextStateGenerator.h
index eb01c7aa4..ae95c3a68 100644
--- a/src/storm/generator/NextStateGenerator.h
+++ b/src/storm/generator/NextStateGenerator.h
@@ -63,7 +63,7 @@ namespace storm {
             
             storm::expressions::SimpleValuation toValuation(CompressedState const& state) const;
 
-            uint32 observabilityClass(CompressedState const& state) const;
+            uint32_t observabilityClass(CompressedState const& state) const;
 
             virtual storm::models::sparse::StateLabeling label(storm::storage::sparse::StateStorage<StateType> const& stateStorage, std::vector<StateType> const& initialStateIndices = {}, std::vector<StateType> const& deadlockStateIndices = {}) = 0;