diff --git a/prism/src/explicit/Model.java b/prism/src/explicit/Model.java
index 5c38dfb2..29047e3c 100644
--- a/prism/src/explicit/Model.java
+++ b/prism/src/explicit/Model.java
@@ -150,6 +150,7 @@ public interface Model
 	 * If requested (if fix=true) and if needed (i.e. for DTMCs/CTMCs),
 	 * fix deadlocks by adding self-loops in these states.
 	 * The set of deadlocks (before any possible fixing) can be obtained from {@link #getDeadlocks()}.
+	 * @throws PrismException if the model is unable to fix deadlocks because it is non-mutable.
 	 */
 	public void findDeadlocks(boolean fix) throws PrismException;