diff --git a/docs/config.txt b/docs/config.txt
index 39ee0e1..019b508 100644
--- a/docs/config.txt
+++ b/docs/config.txt
@@ -15,10 +15,10 @@ String ;;
     Anything else.
 
 Options
-~~~~~~
+~~~~~~~
 
 Log
-^^^^^^
+^^^
 Options available in the log section
 
 use (Boolean);;
@@ -35,7 +35,7 @@ directory (String);;
 
 
 Mysql
-^^^^^^^
+^^^^^
 Options available in the mysql section
 
 host (String);;