diff --git a/docs/DeveloperPolicy.html b/docs/DeveloperPolicy.html
index 0c62a1dbd11..689bcb0783b 100644
--- a/docs/DeveloperPolicy.html
+++ b/docs/DeveloperPolicy.html
@@ -429,7 +429,7 @@ Changes</a></div>
   their contributors.  However, we do not want the source code to be littered
   with random attributions "this code written by J Random Guy" (this is noisy
   and distracting).  In practice, the revision control system keeps a perfect
-  history of who change what, and the CREDITS.txt file describes higher-level
+  history of who changed what, and the CREDITS.txt file describes higher-level
   contributions.  If you commit a patch for someone else, please say "patch 
   contributed by J Random Guy!" in the commit message.</p>