diff --git a/Documentation/user-search.txt b/Documentation/user-search.txt
index 3d72732867..781118f5df 100644
--- a/Documentation/user-search.txt
+++ b/Documentation/user-search.txt
@@ -360,11 +360,11 @@ Matches changes with either a +1, +2, or any higher score.
 +
 Matches changes with either a -1, -2, or any lower score.
 
-`is:open Code-Review+2 Verified+1 -Verified-1 -Code-Review-2`::
+`is:open label:Code-Review+2 label:Verified+1 NOT label:Verified-1 NOT label:Code-Review-2`::
 +
 Matches changes that are ready to be submitted.
 
-`is:open (Verified-1 OR Code-Review-2)`::
+`is:open (label:Verified-1 OR label:Code-Review-2)`::
 +
 Changes that are blocked from submission due to a blocking score.