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