diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 11fe85d4..a72522e5 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2329,7 +2329,7 @@ public class PrismCL implements PrismModelListener
 
 	private void printVersion()
 	{
-		mainLog.println("PRISM version " + Prism.getVersion());
+		mainLog.println(Prism.getToolName() + " version " + Prism.getVersion());
 	}
 
 	/**