diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 5f32c25ff70a79ad3d17b9d9df41260a9067a9df..9013c1219ce5776dd6678c2e0e0edb62ddaa9127 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -8,7 +8,7 @@ There are several ways to participate in the Frama-C project:
 - Asking questions and discussing at
   [StackOverflow](https://stackoverflow.com/tags/frama-c) and through
   the
-  [Frama-C-discuss mailing list](https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss);
+  [Frama-C-discuss mailing list](https://groupes.renater.fr/sympa/info/frama-c-discuss);
 
 - Reporting bugs via
   [Gitlab issues](https://git.frama-c.com/pub/frama-c/issues);
@@ -65,9 +65,14 @@ The detailed steps to submit a contribution to Frama-C are:
   discussion and we will integrate it.
 
 7. Check for unexpected changes.
-  Use the command `make lint`
+  Use the command `make check-lint`
   in your terminal from the Frama-C root directory to detect trailing spaces,
-  tabulations or incorrect indentation (ocp-ident >= 1.7.0 is needed).
+  tabulations or incorrect indentation (ocp-ident >= 1.8.1, camomile and
+  clang-format are needed), and `make lint` to fix problems if any.
+
+  Use the command `make check-headers` in your terminal from the Frama-C root
+  directory to detect bad file license (headache is needed), and `make headers`
+  to fix them.
 
 8. Locally run the test framework of Frama-C by typing
   `make tests`