diff --git a/prism/src/explicit/ConstructModel.java b/prism/src/explicit/ConstructModel.java
index c72f58ba..2d62b77f 100644
--- a/prism/src/explicit/ConstructModel.java
+++ b/prism/src/explicit/ConstructModel.java
@@ -354,7 +354,7 @@ public class ConstructModel extends PrismComponent
 		// Discard permutation
 		permut = null;
 
-		if (attachLabels)
+		if (!justReach && attachLabels)
 			attachLabels(modelGen, model);
 		
 		return model;