diff --git a/src/storage/jani/RenameComposition.cpp b/src/storage/jani/RenameComposition.cpp
index ec3db4ff9..a88139fa7 100644
--- a/src/storage/jani/RenameComposition.cpp
+++ b/src/storage/jani/RenameComposition.cpp
@@ -27,7 +27,7 @@ namespace storm {
                 std::stringstream stream;
                 stream << entry.first << " -> ";
                 if (entry.second) {
-                    stream << entry.second;
+                    stream << entry.second.get();
                 } else {
                     stream << "tau";
                 }