diff --git a/pkgs/racket-test/tests/racket/contract/obligations.rkt b/pkgs/racket-test/tests/racket/contract/obligations.rkt
index 97a74735b0..0cc556d4dc 100644
--- a/pkgs/racket-test/tests/racket/contract/obligations.rkt
+++ b/pkgs/racket-test/tests/racket/contract/obligations.rkt
@@ -3,7 +3,7 @@
          racket/list)
 
 (parameterize ([current-contract-namespace
-                (make-basic-contract-namespace)])
+                (make-basic-contract-namespace 'racket/class)])
 (define (test-obligations quoted-expr expected-props)
   
   (define ((cleanup key stx) obj)
@@ -69,6 +69,9 @@
   (test-obligations '(listof a)
                     '((racket/contract:contract (listof) ())
                       (racket/contract:positive-position a)))
+  (test-obligations '(instanceof/c a)
+                    '((racket/contract:contract (instanceof/c) ())
+                      (racket/contract:positive-position a)))
   (test-obligations '(hash/c a b)
                     '((racket/contract:contract (hash/c) ())
                       (racket/contract:negative-position a)
diff --git a/racket/collects/racket/private/class-c-old.rkt b/racket/collects/racket/private/class-c-old.rkt
index f315ce5064..c6102cb68d 100644
--- a/racket/collects/racket/private/class-c-old.rkt
+++ b/racket/collects/racket/private/class-c-old.rkt
@@ -1423,7 +1423,7 @@
    #:first-order instanceof/c-first-order
    #:stronger instanceof/c-stronger))
 
-(define (instanceof/c cctc)
+(define/subexpression-pos-prop (instanceof/c cctc)
   (let ([ctc (coerce-contract 'instanceof/c cctc)])
     (make-base-instanceof/c ctc)))