diff --git a/doc/intro.rst b/doc/intro.rst
index f25e9a3a47166234cd5812b50e0f863b2c2977f4..57d19eac1e1178906f2c2f8a79368d327b13e012 100644
--- a/doc/intro.rst
+++ b/doc/intro.rst
@@ -68,7 +68,7 @@ Program Synthesis
 
 
 Program Repair
--------------
+--------------
 
 Leon can repair buggy :ref:`Pure Scala <purescala>` programs.
 Given a specification and an erroneous implementation, Leon will