diff --git a/prism/src/dv/DoubleVector.java b/prism/src/dv/DoubleVector.java
index b8e6483b..85f05120 100644
--- a/prism/src/dv/DoubleVector.java
+++ b/prism/src/dv/DoubleVector.java
@@ -104,6 +104,7 @@ public class DoubleVector
 	
 	/**
 	 * Create a new DoubleVector from an existing MTBDD representation of an array.
+	 * <br>[ DEREFS: <i>none</i> ]
 	 */
 	public DoubleVector(JDDNode dd, JDDVars vars, ODDNode odd)
 	{