diff --git a/doc/developer.texi b/doc/developer.texi
index cf805288bf..0432889585 100644
--- a/doc/developer.texi
+++ b/doc/developer.texi
@@ -319,7 +319,7 @@ send a reminder by email. Your patch should eventually be dealt with.
 
 @enumerate
 @item
-    Does fate pass with the patch applied? (make fate)
+    Does 'make fate' pass with the patch applied?
 @item
     Was the patch generated with git format-patch or send-email?
 @item