diff --git a/src/models/sparse/NondeterministicModel.cpp b/src/models/sparse/NondeterministicModel.cpp
index 3a4af6664..5dfaea955 100644
--- a/src/models/sparse/NondeterministicModel.cpp
+++ b/src/models/sparse/NondeterministicModel.cpp
@@ -72,7 +72,7 @@ namespace storm {
                     std::cout << i++ << "/" << modifications.size() << std::endl;
                     rewardModel.setStateActionReward(mod.first, mod.second);
                 }
-            };
+            }
 
             template<typename ValueType, typename RewardModelType>
             template<typename T>
@@ -81,7 +81,7 @@ namespace storm {
                 for(auto const& mod : modifications) {
                     rewardModel.setStateReward(mod.first, mod.second);
                 }
-            };
+            }
             
             template<typename ValueType, typename RewardModelType>
             void NondeterministicModel<ValueType, RewardModelType>::reduceToStateBasedRewards() {