diff --git a/pkgs/racket-doc/scribblings/guide/contracts/examples/3.rkt b/pkgs/racket-doc/scribblings/guide/contracts/examples/3.rkt
index 10aa60a556..560b59f48a 100644
--- a/pkgs/racket-doc/scribblings/guide/contracts/examples/3.rkt
+++ b/pkgs/racket-doc/scribblings/guide/contracts/examples/3.rkt
@@ -71,7 +71,7 @@
   [rem         (->d ([d dictionary?]
                      [k (and/c symbol? (lambda (k) (has? d k)))])
                     ()
-                    [result (and/c dictionary? not-has?)]
+                    [result (and/c dictionary? (lambda (d) ((not-has? d) k)))]
                     #:post-cond
                     (= (count d) (+ (count result) 1)))]))
 ;; end of interface