diff --git a/src/storm/storage/expressions/SimpleValuation.h b/src/storm/storage/expressions/SimpleValuation.h
index b0569ff1f..c036d4d5c 100644
--- a/src/storm/storage/expressions/SimpleValuation.h
+++ b/src/storm/storage/expressions/SimpleValuation.h
@@ -18,7 +18,7 @@ namespace storm {
         public:
             friend class SimpleValuationPointerHash;
             friend class SimpleValuationPointerLess;
-            typedef storm::json<double> Json;
+            typedef storm::json<storm::RationalNumber> Json;
 
 
             /*!
diff --git a/src/storm/storage/sparse/ChoiceOrigins.cpp b/src/storm/storage/sparse/ChoiceOrigins.cpp
index f0281120c..ed3fbb409 100644
--- a/src/storm/storage/sparse/ChoiceOrigins.cpp
+++ b/src/storm/storage/sparse/ChoiceOrigins.cpp
@@ -70,7 +70,7 @@ namespace storm {
 			typename ChoiceOrigins::Json const& ChoiceOrigins::getIdentifierAsJson(uint_fast64_t identifier) const {
                 STORM_LOG_ASSERT(identifier < this->getNumberOfIdentifiers(), "Invalid choice origin identifier: " << identifier);
                 if (identifierToJson.empty()) {
-                    computeIdentifierInfos();
+                    computeIdentifierJson();
                 }
 				return identifierToJson[identifier];
             }
diff --git a/src/storm/storage/sparse/JaniChoiceOrigins.cpp b/src/storm/storage/sparse/JaniChoiceOrigins.cpp
index d9314e6a5..8063142a7 100644
--- a/src/storm/storage/sparse/JaniChoiceOrigins.cpp
+++ b/src/storm/storage/sparse/JaniChoiceOrigins.cpp
@@ -74,7 +74,7 @@ namespace storm {
                             edgesJson.push_back(storm::jani::JsonExporter::getEdgeAsJson(*model, autAndEdgeOffset.first, autAndEdgeOffset.second));
                             edgesJson.back()["automaton"] = automaton.getName();
                         }
-                        setJson["edges"] = std::move(edgesJson);
+                        setJson["transitions"] = std::move(edgesJson);
                     }
                     this->identifierToJson.push_back(std::move(setJson));
                 }
diff --git a/src/storm/storage/sparse/PrismChoiceOrigins.cpp b/src/storm/storage/sparse/PrismChoiceOrigins.cpp
index 0b4c943be..5084b58d7 100644
--- a/src/storm/storage/sparse/PrismChoiceOrigins.cpp
+++ b/src/storm/storage/sparse/PrismChoiceOrigins.cpp
@@ -151,7 +151,7 @@ namespace storm {
                             commandJson["updates"] = updatesJson;
                             commandsJson.push_back(std::move(commandJson));
                         }
-                        setJson["commands"] = commandsJson;
+                        setJson["transitions"] = commandsJson;
                     }
                     this->identifierToJson.push_back(std::move(setJson));
                 }