diff --git a/typed-racket-test/fail/def-val-inv-unit-sig-mismatch.rkt b/typed-racket-test/fail/def-val-inv-unit-sig-mismatch.rkt
index c47b3a79..a7daf24d 100644
--- a/typed-racket-test/fail/def-val-inv-unit-sig-mismatch.rkt
+++ b/typed-racket-test/fail/def-val-inv-unit-sig-mismatch.rkt
@@ -1,5 +1,5 @@
 #;
-(exn-pred (regexp-quote "type mismatch\n  expected: (Unit (import) (export x-sig) (init-depend) Any)\n  given: (Unit (import) (export) (init-depend) Void)"))
+(exn-pred (regexp-quote "type mismatch\n  expected: (Unit (import) (export x-sig) (init-depend) AnyValues)\n  given: (Unit (import) (export) (init-depend) Void)"))
 #lang typed/racket
 
 (define-signature x-sig ([x : Integer]))
diff --git a/typed-racket-test/fail/dviu-has-imports.rkt b/typed-racket-test/fail/dviu-has-imports.rkt
index 281cfac5..01783e1b 100644
--- a/typed-racket-test/fail/dviu-has-imports.rkt
+++ b/typed-racket-test/fail/dviu-has-imports.rkt
@@ -1,5 +1,5 @@
 #;
-(exn-pred (regexp-quote "type mismatch\n  expected: (Unit (import) (export) (init-depend) Any)\n  given: (Unit (import x-sig) (export) (init-depend) Integer)"))
+(exn-pred (regexp-quote "type mismatch\n  expected: (Unit (import) (export) (init-depend) AnyValues)\n  given: (Unit (import x-sig) (export) (init-depend) Integer)"))
 
 #lang typed/racket