diff --git a/src/DEVELOPERS b/src/DEVELOPERS
index ae44a31334f..04e179407b2 100644
--- a/src/DEVELOPERS
+++ b/src/DEVELOPERS
@@ -1,3 +1,4 @@
+
 Read the Developer's FAQ in pgsql/doc/FAQ_DEV.  All the developer tools
 are located in the pgsql/src/tools directory.