diff --git a/doc/PULLREQUESTS.md b/doc/PULLREQUESTS.md
index c8eac108d..4662f96e0 100644
--- a/doc/PULLREQUESTS.md
+++ b/doc/PULLREQUESTS.md
@@ -56,10 +56,7 @@ Consider showing a draft of documentation first (more on this below).
 
 When you are not ready for the PR to be merged, please make it a Draft PR.
 (Non-draft means "I think this is ready, you can merge any time".)
-
-And just use a normal PR title, don't write "WIP:" or "Draft:" there.
-These help with knowing PRs' status in a consistent way.
-
+And use a normal PR title, ie don't write "WIP:" or "Draft:" in the title.
 
 ## The commit(s)