diff --git a/README.md b/README.md
index c79e89f7f68b7e95c4358f2c08ef2435f371c608..667cd21699597ecd39423c8b728879a6627c681f 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,6 @@ called **plug-ins**. Plug-ins can build upon results computed by other
 plug-ins in the platform.
 
 Thanks to this approach, Frama-C provides sophisticated tools, including:
-
 - an analyzer based on abstract interpretation, aimed at verifying
   the absence of run-time errors (**Eva**);
 - a program proof framework based on weakest precondition calculus (**WP**);