diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 3483980a0ebd36037c3d5c6b278aab7e986af26e..1d9e4c95110a83227b66f98dfffe04e497685451 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -104,6 +104,7 @@ where:
 - `<Commit message>` is your commit message;
 - `<XXX>` is the Github issue identifier.
 
+
 Developing external plug-ins
 ============================
 
@@ -165,6 +166,7 @@ plug-in is guaranteed to compile and work, independently of API changes;
 (2) updating your plug-in will only require synchronizing with the
 Frama-C snapshot repository.
 
+
 Coding conventions
 ==================