diff --git a/prism/src/parser/ast/ModulesFile.java b/prism/src/parser/ast/ModulesFile.java
index 0e3d6b9e..4f9a069e 100644
--- a/prism/src/parser/ast/ModulesFile.java
+++ b/prism/src/parser/ast/ModulesFile.java
@@ -772,8 +772,8 @@ public class ModulesFile extends ASTElement
 	}
 
 	/**
-	 * Get access to the values assigned to undefined constants in the model,
-	 * as set previously via the method {@link #setUndefinedConstants(Values)}.
+	 * Get access to the values for all constants in the model, including the 
+	 * undefined constants set previously via the method {@link #setUndefinedConstants(Values)}.
 	 * Until they are set for the first time, this method returns null.  
 	 */
 	public Values getConstantValues()
diff --git a/prism/src/parser/ast/PropertiesFile.java b/prism/src/parser/ast/PropertiesFile.java
index 65980b1f..4472af18 100644
--- a/prism/src/parser/ast/PropertiesFile.java
+++ b/prism/src/parser/ast/PropertiesFile.java
@@ -448,8 +448,8 @@ public class PropertiesFile extends ASTElement
 	}
 	
 	/**
-	 * Get access to the values assigned to constants in the model,
-	 * as set previously via the method {@link #setUndefinedConstants(Values)}
+	 * Get access to the values for all constants in the properties file, including the
+	 * undefined constants set previously via the method {@link #setUndefinedConstants(Values)}
 	 * or {@link #setUndefinedConstants(Values)}. If neither method has been called
 	 * constant values will have been evaluated assuming that there are no undefined constants.
 	 */