diff --git a/typed-racket-lib/typed-racket/types/subtract.rkt b/typed-racket-lib/typed-racket/types/subtract.rkt
index bc9f7de4..73e5e6a2 100644
--- a/typed-racket-lib/typed-racket/types/subtract.rkt
+++ b/typed-racket-lib/typed-racket/types/subtract.rkt
@@ -40,7 +40,7 @@
          (-refine (apply -unsafe-intersect (map (λ (t) (sub t obj)) ts))
                   raw-prop)]
         [(? Mu?) (sub (unfold t) obj)]
-        [(Poly: vs b) (make-Poly vs (sub b) obj)]
+        [(Poly: vs b) (make-Poly vs (sub b))]
         [_ t])))
   (cond
     [(subtype t result obj) t]
diff --git a/typed-racket-test/unit-tests/remove-intersect-tests.rkt b/typed-racket-test/unit-tests/remove-intersect-tests.rkt
index dece3d53..ff811ae6 100644
--- a/typed-racket-test/unit-tests/remove-intersect-tests.rkt
+++ b/typed-racket-test/unit-tests/remove-intersect-tests.rkt
@@ -118,7 +118,7 @@
     (-poly (a) (make-Listof a))]
    [(Un -Symbol -Number) (-poly (a) -Number) -Symbol]
    [(-pair -Number (-v a)) (-pair Univ Univ) (Un)]
-   ))
+   [(-poly (a) (Un -False (-> (-v a) (-v a)))) -False (-poly (a) (-> (-v a) (-v a)))]))
 
 (define tests
   (test-suite "Subtract Intersect"