diff --git a/collects/profj/doc.txt b/collects/profj/doc.txt
index 3f1643ac72..1a7149bda3 100644
--- a/collects/profj/doc.txt
+++ b/collects/profj/doc.txt
@@ -103,7 +103,8 @@ Known bugs for dynamic:
     dynamic x = ic;
     C c = (C) x; 
   In this program, the cast of x to C will fail, even though the value is an intstanceof C.
-  These issues will be addressed in future versions.
+  These issues will be addressed in future versions. 
+  Some assignments (with implicit downcasts) will also fail.
  
 _Libraries available to ProfessorJ:
 
diff --git a/collects/profj/to-scheme.ss b/collects/profj/to-scheme.ss
index 43936e4f3d..f89d8a0052 100644
--- a/collects/profj/to-scheme.ss
+++ b/collects/profj/to-scheme.ss
@@ -765,7 +765,7 @@
                    (raise (make-exn:fail 
                            (string->immutable-string
                             (format "~a broke the contract with ~a here, expected an object with a method ~a accepting ~a args"
-                                   n p method-name num-args)) s)))))
+                                   n p method-name num-args)) c)))))
             (and ,@(map method->check/error
                         (filter (lambda (m) (not (eq? 'ctor (method-record-rtype m)))) wrapped-methods))))
           #;(c:contract ,(methods->contract (filter (lambda (m) (not (eq? 'ctor (method-record-rtype m))))