diff --git a/collects/scheme/match/parse-legacy.ss b/collects/scheme/match/parse-legacy.ss
index 0dda80ffde..7cd585bfdb 100644
--- a/collects/scheme/match/parse-legacy.ss
+++ b/collects/scheme/match/parse-legacy.ss
@@ -72,7 +72,7 @@
                 [acc (reverse acc)]
                 ;; remove the first element, if it's #f
                 [acc (cond [(null? acc) acc] [(not (car acc)) (cdr acc)] [else acc])])
-           (make-Struct id pred (get-lineage #'s) acc 
+           (make-Struct id pred (get-lineage (cert #'s)) acc 
                         (if (eq? '_ (syntax-e #'pats))
                             (map make-Dummy acc)
                             (let* ([ps (syntax->list #'pats)])
diff --git a/collects/scheme/match/parse.ss b/collects/scheme/match/parse.ss
index 499f7435c3..a7f3e83ef0 100644
--- a/collects/scheme/match/parse.ss
+++ b/collects/scheme/match/parse.ss
@@ -194,7 +194,7 @@
                 [acc (reverse acc)]
                 ;; remove the first element, if it's #f
                 [acc (cond [(null? acc) acc] [(not (car acc)) (cdr acc)] [else acc])])
-           (make-Struct id pred (get-lineage #'s) acc 
+           (make-Struct id pred (get-lineage (cert #'s)) acc 
                         (if (eq? '_ (syntax-e #'pats))
                             (map make-Dummy acc)
                             (let* ([ps (syntax->list #'pats)])