diff --git a/collects/profj/types.ss b/collects/profj/types.ss
index 7102b118cc..f2d6a613d9 100644
--- a/collects/profj/types.ss
+++ b/collects/profj/types.ss
@@ -637,7 +637,8 @@
         (let ([iface-tree (map (lambda (iface)
                                  (cons iface
                                        (class-record-parents 
-                                        (send type-recs get-class-record iface)))))])
+                                        (send type-recs get-class-record iface))))
+			       ifaces)])
           (apply min (map (lambda (i-list) (depth elt i-list)) iface-tree)))))