diff --git a/prism/src/prism/ExplicitFiles2MTBDD.java b/prism/src/prism/ExplicitFiles2MTBDD.java
index 50a54bdd..936ac088 100644
--- a/prism/src/prism/ExplicitFiles2MTBDD.java
+++ b/prism/src/prism/ExplicitFiles2MTBDD.java
@@ -297,7 +297,7 @@ public class ExplicitFiles2MTBDD
 		// find any deadlocks
 		model.findDeadlocks(prism.getFixDeadlocks());
 
-		// attach labels (might overwrite deadlock state information)
+		// attach labels
 		attachLabels(model);
 
 		// deref spare dds
@@ -735,6 +735,10 @@ public class ExplicitFiles2MTBDD
 				// handled in buildInit()
 				continue;
 			}
+			if (e.equals("deadlock")) {
+				// ignored (info is recomputed)
+				continue;
+			}
 			model.addLabelDD(e.getKey(), e.getValue().copy());
 		}
 	}