diff --git a/src/storm/storage/jani/VariableSet.cpp b/src/storm/storage/jani/VariableSet.cpp
index a3701dbae..c3ba52a5a 100644
--- a/src/storm/storage/jani/VariableSet.cpp
+++ b/src/storm/storage/jani/VariableSet.cpp
@@ -426,7 +426,7 @@ namespace storm {
         
         void VariableSet::substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution) {
             for (auto& variable : variables) {
-                variable.substitute(substitution);
+                variable->substitute(substitution);
             }
         }
     }