diff --git a/src/stamina/StaminaModelBuilder.cpp b/src/stamina/StaminaModelBuilder.cpp
index 217daf41..068d6e39 100644
--- a/src/stamina/StaminaModelBuilder.cpp
+++ b/src/stamina/StaminaModelBuilder.cpp
@@ -640,10 +640,13 @@ StaminaModelBuilder<ValueType, RewardModelType, StateType>::connectTerminalState
 		StaminaMessages::errorAndExit("Did not add to transition matrix!");
 	}
 }
+namespace stamina {
 
 // Explicitly instantiate the class.
 template class StaminaModelBuilder<double, storm::models::sparse::StandardRewardModel<double>, uint32_t>;
 
+}
+
 template <typename StateType>
 bool stamina::set_contains(std::unordered_set<StateType> current_set, StateType value) {
 	auto search = current_set.find(value);