diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index bc3504e8..6795a287 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2254,7 +2254,7 @@ public class PrismCL implements PrismModelListener
 	 */
 	private void printHelp()
 	{
-		mainLog.println("Usage: prism <model-file> [<properties-file>] [options]");
+		mainLog.println("Usage: " + Prism.getCommandLineName() + " [options] <model-file> [<properties-file>] [more-options]");
 		mainLog.println();
 		mainLog.println("Options:");
 		mainLog.println("========");