diff --git a/tests/difference/core/quint_model/README.md b/tests/difference/core/quint_model/README.md
index 235372cc1c..54251a7544 100644
--- a/tests/difference/core/quint_model/README.md
+++ b/tests/difference/core/quint_model/README.md
@@ -22,7 +22,7 @@ The parameters of the protocol are defined as consts in [ccv.qnt](ccv.qnt).
 
 To run unit tests, run 
 ```
-quint test ccv_test.
+quint test ccv_test.qnt
 ```
 and 
 ```