diff --git a/src/storm/generator/TransientVariableInformation.cpp b/src/storm/generator/TransientVariableInformation.cpp
index 461b43eb0..391f290cd 100644
--- a/src/storm/generator/TransientVariableInformation.cpp
+++ b/src/storm/generator/TransientVariableInformation.cpp
@@ -175,9 +175,9 @@ namespace storm {
             }
         }
         
-        template class TransientVariableInformation<double>;
-        template class TransientVariableInformation<storm::RationalNumber>;
-        template class TransientVariableInformation<storm::RationalFunction>;
+        template struct TransientVariableInformation<double>;
+        template struct TransientVariableInformation<storm::RationalNumber>;
+        template struct TransientVariableInformation<storm::RationalFunction>;
         
     }
 }
diff --git a/src/storm/storage/jani/ArrayEliminator.cpp b/src/storm/storage/jani/ArrayEliminator.cpp
index 4e5c975b0..148a7cac2 100644
--- a/src/storm/storage/jani/ArrayEliminator.cpp
+++ b/src/storm/storage/jani/ArrayEliminator.cpp
@@ -614,7 +614,6 @@ namespace storm {
                 }
                 
                 void insertLValueArrayAccessReplacements(std::vector<Assignment const*> const& arrayAccesses, std::vector<storm::jani::Variable const*> const& arrayVariableReplacements, int64_t level, std::vector<Assignment>& newAssignments) const {
-                    storm::expressions::Variable const& arrayVariable = arrayAccesses.front()->getLValue().getArray().getExpressionVariable();
                     bool onlyConstantIndices = true;
                     for (auto const& aa : arrayAccesses) {
                         if (aa->getLValue().getArrayIndex().containsVariables()) {