diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 1fb4504e..d7cecccb 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -832,7 +832,11 @@ public class PrismCL
 		if (exporttrans) {
 			try {
 				File f = (exportTransFilename.equals("stdout")) ? null : new File(exportTransFilename);
-				prism.exportTransToFile(model, exportordered, exportType, f);
+				if (explicit) {
+					prismExpl.exportTransToFile(modelExpl, exportordered, exportType, f);
+				} else {
+					prism.exportTransToFile(model, exportordered, exportType, f);
+				}
 			}
 			// in case of error, report it and proceed
 			catch (FileNotFoundException e) {