diff --git a/pkgs/racket-test/tests/racket/contract/arrow.rkt b/pkgs/racket-test/tests/racket/contract/arrow.rkt
index 7f85c87d85..b98417602f 100644
--- a/pkgs/racket-test/tests/racket/contract/arrow.rkt
+++ b/pkgs/racket-test/tests/racket/contract/arrow.rkt
@@ -495,24 +495,20 @@
    #t)
   (test/spec-passed/result
    '->void.3
-   '(void? ((contract (-> void?) (λ args void) 'pos 'neg)))
+   '(void? ((contract (-> void?) (λ args (void)) 'pos 'neg)))
    #t)
   (test/pos-blame
    '->void.4
-   '((contract (-> void?) (λ args 11) 'pos 'neg))
-   #t)
+   '((contract (-> void?) (λ args 11) 'pos 'neg)))
   (test/pos-blame
    '->void.5
-   '((contract (-> void?) (λ args (values (void) (void))) 'pos 'neg))
-   #t)
+   '((contract (-> void?) (λ args (values (void) (void))) 'pos 'neg)))
   (test/pos-blame
    '->void.6
-   '(contract (-> void?) 'not-a-function 'pos 'neg)
-   #t)
+   '(contract (-> void?) 'not-a-function 'pos 'neg))
   (test/pos-blame
    '->void.7
-   '(contract (-> void?) (λ (x) 1) 'pos 'neg)
-   #t)
+   '(contract (-> void?) (λ (x) 1) 'pos 'neg))
    
   
   (test/spec-passed