diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 6e379ee843349c56399dd75bfd2b59f5aa733314..e5b6df0ec5be70726ea0a53b8da347d185b2459e 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -78,7 +78,7 @@ The detailed steps to submit a contribution to Frama-C are:
   needed), and `make headers` to fix them.
 
 8. Locally run the test framework of Frama-C by typing
-  `make tests`
+  `make default-tests`
   in your terminal (you should be in the Frama-C root directory).
 
 9. Locally add (if needed) and commit your contribution.