diff --git a/collects/mzlib/private/contract-object.rkt b/collects/mzlib/private/contract-object.rkt
index 8daded9..0188cb4 100644
--- a/collects/mzlib/private/contract-object.rkt
+++ b/collects/mzlib/private/contract-object.rkt
@@ -295,21 +295,12 @@
                                             (list 'field-name ...) (list field-ctc-var ...))))
                    #:first-order
                    (lambda (val)
-                     (check-object-contract val #f (list 'method-name ...) (list 'field-name ...))))
-                  ctc)))))]))))
+                     (let/ec ret
+                       (check-object-contract val (list 'method-name ...) (list 'field-name ...)
+                                              (λ args (ret #f)))))))
+                  ctc))))]))))
 
 
-(define (check-object val blame)
-  (unless (object? val)
-    (raise-blame-error blame val "expected an object, got ~e" val)))
-
-(define (check-method val method-name val-mtd-names blame)
-  (unless (memq method-name val-mtd-names)
-    (raise-blame-error blame val "expected an object with method ~s" method-name)))
-
-(define (field-error val field-name blame)
-  (raise-blame-error blame val "expected an object with field ~s" field-name))
-
 (define (make-mixin-contract . %/<%>s)
   ((and/c (flat-contract class?)
           (apply and/c (map sub/impl?/c %/<%>s)))