diff --git a/implementations/racket/preserves/preserves-schema/parser.rkt b/implementations/racket/preserves/preserves-schema/parser.rkt
index 8f95779..c65bf77 100644
--- a/implementations/racket/preserves/preserves-schema/parser.rkt
+++ b/implementations/racket/preserves/preserves-schema/parser.rkt
@@ -47,7 +47,9 @@
 (define (maybe-dest dest-pat-stx pat)
   (match dest-pat-stx
     ['_ pat]
-    [_ `(and ,dest-pat-stx ,pat)]))
+    [_ (match pat
+         ['_ dest-pat-stx]
+         [_ `(and ,dest-pat-stx ,pat)])]))
 
 (define (pattern->match-pattern pattern dest-pat-stx)
   (match (unwrap pattern)