diff --git a/collects/typed-scheme/rep/type-rep.rkt b/collects/typed-scheme/rep/type-rep.rkt
index 51474cbf..49596a8a 100644
--- a/collects/typed-scheme/rep/type-rep.rkt
+++ b/collects/typed-scheme/rep/type-rep.rkt
@@ -382,9 +382,11 @@
 
 (define ((sub-f st) e)
   (filter-case (#:Type st
-                #:Filter (sub-f st))
+                #:Filter (sub-f st)
+                #:PathElem (sub-pe st))
                e))
 
+
 (define ((sub-o st) e)
   (object-case (#:Type st
                 #:Object (sub-o st)
@@ -437,6 +439,8 @@
                 (cdr names)
                 (sub1 count))))))
 
+;(trace abstract-many)
+
 
 ;; instantiate-many : List[Type] Scope^n -> Type 
 ;; where n is the length of types