diff --git a/collects/typed-scheme/private/type-contract.ss b/collects/typed-scheme/private/type-contract.ss
index 6b6f3c59..bad2a41d 100644
--- a/collects/typed-scheme/private/type-contract.ss
+++ b/collects/typed-scheme/private/type-contract.ss
@@ -136,7 +136,9 @@
              (parameterize ([vars (cons (list n #'n* #'n*) (vars))])
                #`(flat-rec-contract n* #,(t->c b)))))]
         [(Value: #f) #'false/c]    
-        [(Instance: (Class: _ _ (list (list name fcn) ...))) 
+        [(Instance: (Class: _ _ (list (list name fcn) ...)))
+         #'(is-a?/c object%)
+         #;
 	 (with-syntax ([(fcn-cnts ...) (map t->c fcn)]
 		       [(names ...) name])
 		      #'(object-contract (names fcn-cnts) ...))]