diff --git a/prism-examples/csma/README b/prism-examples/csma/README
index 59aaf063..42799ee0 100644
--- a/prism-examples/csma/README
+++ b/prism-examples/csma/README
@@ -1,9 +1,9 @@
 This case study concerns the IEEE 802.3 CSMA/CD (Carrier Sense, Multiple Access with Collision Detection) protocol
 
-model files csmaK_N.nm
-specification files: csmaK.pctl
+model files csmaN_K.nm
+property file: csma.pctl
 
-where K is the maximum backoff and N is the number of stations
+where N is the number of stations and K is the maximum backoff
 
 For more information on the probabilistic timed automata see: http://www.prismmodelchecker.org/casestudies/csma.php