diff --git a/pkgs/racket-test/tests/racket/contract/prof.rkt b/pkgs/racket-test/tests/racket/contract/prof.rkt
index 4570d03a49..b2d2f1ee6c 100644
--- a/pkgs/racket-test/tests/racket/contract/prof.rkt
+++ b/pkgs/racket-test/tests/racket/contract/prof.rkt
@@ -597,4 +597,23 @@
                                      (in-dict '((1 . 2) (3 . 4))) 'pos 'neg)
                            0))))
 
+  (test/spec-passed
+   'contract-marks65
+   '(let ()
+      (eval '(require syntax/id-table))
+      (eval '(define t (contract (free-id-table/c pos-blame? neg-blame?)
+                                 (make-free-id-table)
+                                 'pos 'neg)))
+      (eval '(free-id-table-set! t #'a 3))
+      (eval '(free-id-table-ref t #'a))))
+
+  (test/spec-passed
+   'contract-marks66
+   '(let ()
+      (eval '(require syntax/id-table))
+      (eval '(define t (contract (free-id-table/c pos-blame? neg-blame?)
+                                 (make-immutable-free-id-table)
+                                 'pos 'neg)))
+      (eval '(free-id-table-ref (free-id-table-set t #'a 3) #'a))))
+
   )
diff --git a/racket/collects/syntax/id-table.rkt b/racket/collects/syntax/id-table.rkt
index 1a70a3986c..bbc553eb86 100644
--- a/racket/collects/syntax/id-table.rkt
+++ b/racket/collects/syntax/id-table.rkt
@@ -130,20 +130,35 @@
       (define pos-rng-proj (id-table/c-rng-pos-proj ctc blame))
       (define neg-rng-proj (id-table/c-rng-neg-proj ctc blame))
       (lambda (tbl neg-party)
+        (define blame+neg-party (cons blame neg-party))
         (check-id-table/c ctc tbl blame neg-party)
         ;;TODO for immutable hash tables optimize this chaperone to a flat
         ;;check if possible
         (if (immutable-idtbl? tbl)
-            (chaperone-immutable-id-table tbl
-                                          (λ (val) (pos-dom-proj val neg-party))
-                                          (λ (val) (pos-rng-proj val neg-party))
-                                          impersonator-prop:contracted ctc)
-            (chaperone-mutable-id-table tbl
-                                        (λ (val) (neg-dom-proj val neg-party))
-                                        (λ (val) (pos-dom-proj val neg-party))
-                                        (λ (val) (neg-rng-proj val neg-party))
-                                        (λ (val) (pos-rng-proj val neg-party))
-                                        impersonator-prop:contracted ctc)))))
+            (chaperone-immutable-id-table
+             tbl
+             (λ (val) (with-contract-continuation-mark
+                       blame+neg-party
+                       (pos-dom-proj val neg-party)))
+             (λ (val) (with-contract-continuation-mark
+                       blame+neg-party
+                       (pos-rng-proj val neg-party)))
+             impersonator-prop:contracted ctc)
+            (chaperone-mutable-id-table
+             tbl
+             (λ (val) (with-contract-continuation-mark
+                       blame+neg-party
+                       (neg-dom-proj val neg-party)))
+             (λ (val) (with-contract-continuation-mark
+                       blame+neg-party
+                       (pos-dom-proj val neg-party)))
+             (λ (val) (with-contract-continuation-mark
+                       blame+neg-party
+                       (neg-rng-proj val neg-party)))
+             (λ (val) (with-contract-continuation-mark
+                       blame+neg-party
+                       (pos-rng-proj val neg-party)))
+             impersonator-prop:contracted ctc)))))
 
   (struct flat-id-table/c base-id-table/c ()
     #:omit-define-syntaxes