diff --git a/prism/src/parser/ast/ModulesFile.java b/prism/src/parser/ast/ModulesFile.java
index ac51e38f..0a532e69 100644
--- a/prism/src/parser/ast/ModulesFile.java
+++ b/prism/src/parser/ast/ModulesFile.java
@@ -761,7 +761,7 @@ public class ModulesFile extends ASTElement
 	 * Set values for *all* undefined constants and then evaluate all constants.
 	 * If there are no undefined constants, {@code someValues} can be null.
 	 * Undefined constants can be subsequently redefined to different values with the same method.
-	 * The current constant values (if set) are available via {@link #setUndefinedConstants(Values)}. 
+	 * The current constant values (if set) are available via {@link #getConstantValues()}. 
 	 * Calling this method also triggers some additional semantic checks
 	 * that can only be done once constant values have been specified.
 	 */
diff --git a/prism/src/parser/ast/PropertiesFile.java b/prism/src/parser/ast/PropertiesFile.java
index 1a14d8e3..ebd36208 100644
--- a/prism/src/parser/ast/PropertiesFile.java
+++ b/prism/src/parser/ast/PropertiesFile.java
@@ -421,7 +421,7 @@ public class PropertiesFile extends ASTElement
 	 * Set values for *all* undefined constants and then evaluate all constants.
 	 * If there are no undefined constants, {@code someValues} can be null.
 	 * Undefined constants can be subsequently redefined to different values with the same method.
-	 * The current constant values (if set) are available via {@link #setUndefinedConstants(Values)}. 
+	 * The current constant values (if set) are available via {@link #getConstantValues()}. 
 	 */
 	public void setUndefinedConstants(Values someValues) throws PrismLangException
 	{
@@ -436,7 +436,7 @@ public class PropertiesFile extends ASTElement
 	 * Set values for *some* undefined constants and then evaluate all constants where possible.
 	 * If there are no undefined constants, {@code someValues} can be null.
 	 * Undefined constants can be subsequently redefined to different values with the same method.
-	 * The current constant values (if set) are available via {@link #setUndefinedConstants(Values)}.
+	 * The current constant values (if set) are available via {@link #getConstantValues()}.
 	 */
 	public void setSomeUndefinedConstants(Values someValues) throws PrismLangException
 	{