diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.ss b/collects/typed-scheme/typecheck/tc-expr-unit.ss
index 1abb5550..dd4edaa5 100644
--- a/collects/typed-scheme/typecheck/tc-expr-unit.ss
+++ b/collects/typed-scheme/typecheck/tc-expr-unit.ss
@@ -107,8 +107,8 @@
 (define (tc-id id)
   (let* ([ty (lookup-type/lexical id)])
     (ret ty
-         (make-LFilterSet (list (make-NotTypeFilter (-val #f) null id)) 
-                          (list (make-TypeFilter (-val #f) null id)))
+         (make-FilterSet (list (make-NotTypeFilter (-val #f) null id)) 
+                         (list (make-TypeFilter (-val #f) null id)))
          (make-Path null id))))
 
 ;; typecheck an expression, but throw away the effect