diff --git a/src/storm/api/export.cpp b/src/storm/api/export.cpp
index 78951fd27..1a69a34da 100644
--- a/src/storm/api/export.cpp
+++ b/src/storm/api/export.cpp
@@ -16,6 +16,10 @@ namespace storm {
                 }
             }
 
+            if (janiSettings.isExportFlattenedSet()) {
+                exportModel = exportModel.flattenComposition();
+            }
+
             if (janiSettings.isExportAsStandardJaniSet()) {
                 storm::jani::Model normalisedModel = exportModel;
                 normalisedModel.makeStandardJaniCompliant();