diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 5c5ae770..8949aede 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -3332,10 +3332,11 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 			// print out or export probabilities
 			if (probs != null)
 				probs.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, fileOut == null);
-			else if( settings.getString(PrismSettings.PRISM_TRANSIENT_METHOD).equals("Fast adaptive uniformisation") ){
-				probsExpl.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, true, false);
-			} else {
+			else if (!settings.getString(PrismSettings.PRISM_TRANSIENT_METHOD).equals("Fast adaptive uniformisation")) {
 				probsExpl.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, fileOut == null, true);
+			} else {
+				// If full state space not computed, don't print vectors and always show states
+				probsExpl.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, true, false);
 			}
 
 			// print out computation time