diff --git a/prism/src/userinterface/properties/GUIPropLabelList.java b/prism/src/userinterface/properties/GUIPropLabelList.java
index b9e534ba..6735efef 100644
--- a/prism/src/userinterface/properties/GUIPropLabelList.java
+++ b/prism/src/userinterface/properties/GUIPropLabelList.java
@@ -123,7 +123,7 @@ public class GUIPropLabelList extends JTable
 	
 	/** Is the label list valid? */
 	
-	public boolean isValid()
+	public boolean isPropLabelListValid()
 	{
 		if (theModel.error != null) return false;
 		int i, n;