diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
index d5c5e7eb..390b9d81 100644
--- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -210,8 +210,8 @@
         (tc-e (flexpt -2.0 -0.5) -Flonum) ; NaN
         (tc-e (angle -1) -Real)
         (tc-e (angle 2.3) -Zero)
-        (tc-e (magnitude 3/4) -Rat)
-        (tc-e (magnitude 3+2i) -Real)
+        (tc-e (magnitude 3/4) -NonNegRat)
+        (tc-e (magnitude 3+2i) -NonNegReal)
 
         [tc-e/t (lambda: () 3) (t:-> -PosByte : -true-lfilter)]
         [tc-e/t (lambda: ([x : Number]) 3) (t:-> N -PosByte : -true-lfilter)]