diff --git a/src/storm/storage/jani/JSONExporter.cpp b/src/storm/storage/jani/JSONExporter.cpp
index ed08b7a98..480b2cbe6 100644
--- a/src/storm/storage/jani/JSONExporter.cpp
+++ b/src/storm/storage/jani/JSONExporter.cpp
@@ -590,7 +590,7 @@ namespace storm {
                 case OpType::Power:
                     return "pow";
                 case OpType::Modulo:
-                    return "mod";
+                    return "%";
                 case OpType::Equal:
                     return "=";
                 case OpType::NotEqual: