diff --git a/src/storm-gspn/builder/JaniGSPNBuilder.cpp b/src/storm-gspn/builder/JaniGSPNBuilder.cpp
index fe78746a5..981982de1 100644
--- a/src/storm-gspn/builder/JaniGSPNBuilder.cpp
+++ b/src/storm-gspn/builder/JaniGSPNBuilder.cpp
@@ -303,7 +303,7 @@ namespace storm {
             return standardProperties;
         }
 
-        std::vector<storm::jani::Property> const& JaniGSPNBuilder::getDeadlockProperties(storm::jani::Model* model) {
+        std::vector<storm::jani::Property> JaniGSPNBuilder::getDeadlockProperties(storm::jani::Model* model) {
             auto const& deadlockVar = addDeadlockTransientVariable(model, getUniqueVarName(*expressionManager, "deadl"));
             auto deadlockFormula = std::make_shared<storm::logic::AtomicExpressionFormula>(deadlockVar.getExpressionVariable().getExpression());
             return getStandardProperties(model, deadlockFormula, "Deadlock", "a deadlock", true);
diff --git a/src/storm-gspn/builder/JaniGSPNBuilder.h b/src/storm-gspn/builder/JaniGSPNBuilder.h
index 6d4b795d8..f739ae8ba 100644
--- a/src/storm-gspn/builder/JaniGSPNBuilder.h
+++ b/src/storm-gspn/builder/JaniGSPNBuilder.h
@@ -32,7 +32,7 @@ namespace storm {
             /*!
              * Get standard properties (reachability, time bounded reachability, expected time) for deadlocks.
              */
-            std::vector<storm::jani::Property> const& getDeadlockProperties(storm::jani::Model* model);
+            std::vector<storm::jani::Property> getDeadlockProperties(storm::jani::Model* model);
 
             /*!
              * Add transient variable representing given expression.