diff --git a/Documentation/dev-readme.txt b/Documentation/dev-readme.txt
index 73b956bbe9..e0e2017dd0 100644
--- a/Documentation/dev-readme.txt
+++ b/Documentation/dev-readme.txt
@@ -64,10 +64,10 @@ PostgreSQL Setup
 
 Initialize and start PostgreSQL (where $data is the location of your data):
 
-===
+====
   initdb --locale en_US.UTF-8 -D $data
   postmaster -D $data >/tmp/logfile 2>&1 &
-===
+====
 
 Create the JDBC user as a normal user (no superuser access) and
 assign it an encrypted password: