diff --git a/collects/drracket/private/syncheck/gui.rkt b/collects/drracket/private/syncheck/gui.rkt
index 4bf9e733e1..ae3781a25c 100644
--- a/collects/drracket/private/syncheck/gui.rkt
+++ b/collects/drracket/private/syncheck/gui.rkt
@@ -1178,7 +1178,7 @@ If the namespace does not, they are colored the unbound color.
                     (make-object menu-item%
                       jump-to-next-bound-occurrence
                       menu
-                      (λ (item evt) (jump-to-next-callback pos text)))
+                      (λ (item evt) (jump-to-next-callback pos text #f)))
                     (make-object menu-item%
                       jump-to-binding
                       menu