diff --git a/collects/typed/tests/test-docs-complete.rkt b/collects/typed/tests/test-docs-complete.rkt
index 9a26620f..e5fa6533 100644
--- a/collects/typed/tests/test-docs-complete.rkt
+++ b/collects/typed/tests/test-docs-complete.rkt
@@ -1,12 +1,16 @@
 #lang racket/base
 (require rackunit/docs-complete)
-;; these are currently undocumented in `racket' as well
-(define exclude '(define-place
-                  deserialize-info:set-v0
-                  make-primitive-class
-                  place-sleep
-                  procedure-closure-contents-eq?
-                  processor-count))
+(define exclude
+  '(;; these are currently undocumented in `racket' as well
+    define-place
+    deserialize-info:set-v0
+    make-primitive-class
+    place-sleep
+    procedure-closure-contents-eq?
+    processor-count
+    ;; the following are contracted proxy values that are
+    ;; already documented in `racket'
+    default-continuation-prompt-tag))
 (check-docs (quote typed-scheme) #:skip exclude)
 (check-docs (quote typed/scheme) #:skip exclude)
 (check-docs (quote typed/scheme/base) #:skip exclude)