diff --git a/doc/developer.texi b/doc/developer.texi
index 013650ba14..983f2fdd5b 100644
--- a/doc/developer.texi
+++ b/doc/developer.texi
@@ -252,8 +252,8 @@ keeping it as a logical unit that contains an individual change, even
 if it spans multiple files. This makes reviewing your patches much easier
 for us and greatly increases your chances of getting your patch applied.
 
-Use the patcheck tool of ffmpeg to check your patch.
-The tool is located in the tool directory.
+Use the patcheck tool of FFmpeg to check your patch.
+The tool is located in the tools directory.
 
 Run the regression tests before submitting a patch so that you can
 verify that there are no big problems.