diff --git a/implementations/racket/preserves/main.rkt b/implementations/racket/preserves/main.rkt
index c52c01a..46bf6d6 100644
--- a/implementations/racket/preserves/main.rkt
+++ b/implementations/racket/preserves/main.rkt
@@ -1031,7 +1031,7 @@
           [`#s(DecodeShort ,(strip-annotations bs))
            (check-eq? (d bs) 'short loc)]
           [`#s(DecodeError ,(strip-annotations bs))
-           (check-eq? (d bs) (void) loc)]
+           (check-true (void? (d bs)) loc)]
           [_
            (write-preserve t* #:indent #f)
            (newline)])))