diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 86ebf923..8d496d8b 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -646,6 +646,15 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		return "PRISM";
 	}
 
+	/**
+	 * Get the name of the command-line version of this tool.
+	 * ("prism" by default, extensions might override) 
+	 */
+	public static String getCommandLineName()
+	{
+		return "prism";
+	}
+
 	/**
 	 * Get current version number, as a string. 
 	 */
diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 13942d7e..bc3504e8 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2044,7 +2044,7 @@ public class PrismCL implements PrismModelListener
 
 		// make sure a model file is specified
 		if (modelFilename == null) {
-			mainLog.println("Usage: prism [options] <model-file> [<properties-file>] [more-options]");
+			mainLog.println("Usage: " + Prism.getCommandLineName() + " [options] <model-file> [<properties-file>] [more-options]");
 			mainLog.println("\nFor more information, type: prism -help");
 			exit();
 		}