diff --git a/README_DEVELOPERS b/README_DEVELOPERS
index 66fec3d..cd4fbf1 100644
--- a/README_DEVELOPERS
+++ b/README_DEVELOPERS
@@ -101,6 +101,7 @@
 Steps (1)--(3) can be put in a .gdbinit file, but any directory names must
 be fully expanded (ie. not an environment variable).
 
+
 Self-hosting
 ~~~~~~~~~~~~
 To run Valgrind under Valgrind: