diff --git a/collects/profj/build-info.ss b/collects/profj/build-info.ss
index cf43969dfd..407c1c407b 100644
--- a/collects/profj/build-info.ss
+++ b/collects/profj/build-info.ss
@@ -831,7 +831,9 @@
                            #f
                            #t
                            (apply append (cons f (map class-record-fields super-records)))
-                           (apply append (cons m (map class-record-methods super-records)))
+                           (if (null? super-records)
+                               object-methods
+                               (apply append (cons m (map class-record-methods super-records))))
                            (apply append (cons i (map class-record-inners super-records)))
                            (apply append (cons (map class-record-name super-records) 
                                                (map class-record-parents super-records)))
diff --git a/collects/profj/types.ss b/collects/profj/types.ss
index 7347ee2581..6f6fb80647 100644
--- a/collects/profj/types.ss
+++ b/collects/profj/types.ss
@@ -698,7 +698,9 @@
                [ifaces (consolidate-lists sorted-ifaces)])
           #;(printf "iface-depth ~a ~a ~a ~n" elt 
                     iface-trees (map (lambda (i-list) (depth elt 0 i-list)) iface-trees))
-          (apply min (map (lambda (i-list) (depth elt 0 i-list)) ifaces)))))
+          (if (null? ifaces)
+              0
+              (apply min (map (lambda (i-list) (depth elt 0 i-list)) ifaces))))))
   
   ;conversion-steps: type type -> int
   (define (conversion-steps from to type-recs)