diff --git a/prism/README.txt b/prism/README.txt
index 3499412b..087b0f4e 100644
--- a/prism/README.txt
+++ b/prism/README.txt
@@ -2,7 +2,7 @@
 README
 ======
 
-This is PRISM (Probabilistic Symbolic Model Checker), version 4.0.1.
+This is PRISM (Probabilistic Symbolic Model Checker).
 
 ------------
 INSTALLATION