diff --git a/collects/redex/private/pat-unify.rkt b/collects/redex/private/pat-unify.rkt
index 2f1c793a9d..039d082d38 100644
--- a/collects/redex/private/pat-unify.rkt
+++ b/collects/redex/private/pat-unify.rkt
@@ -111,7 +111,7 @@
         (for/and ([p ps]) (loop p))]
        [(? (compose not pair?))
         (or (symbol? p) (number? p) (string? p) (boolean? p))]
-       [else 
+       [_ 
         (and is-pat*?
              (match p
                [`(cstr (,nts ...) ,p*)
@@ -733,7 +733,7 @@
                                  (match sub-pat
                                    [`(repeat ,pat ,name ,mismatch)
                                     (error "can't normalize pattern: ~s" pat)]
-                                   [else
+                                   [_
                                     (loop sub-pat)])))]
                      [(? (compose not pair?)) 
                       pat])))
diff --git a/collects/redex/private/rg.rkt b/collects/redex/private/rg.rkt
index 3b68c58608..fce53d190e 100644
--- a/collects/redex/private/rg.rkt
+++ b/collects/redex/private/rg.rkt
@@ -660,7 +660,7 @@
        (list* (unparse-pattern sub-pat) ellipsis (unparse-pattern rest)))]
     [(cons first rest) 
      (cons (unparse-pattern first) (unparse-pattern rest))]
-    [else else]))
+    [other other]))
 
 ;; class-reassignments : parsed-pattern -> hash[sym -o> sym]
 (define (class-reassignments pattern)
@@ -718,7 +718,7 @@
                             [`(repeat ,p ,name ,mismatch?)
                              (record-binder name under)
                              (recur p (cons (or name (gensym)) under))]
-                            [else (recur lpat under)]))
+                            [_ (recur lpat under)]))
                         assignments]
                        [(? (compose not pair?)) assignments]))
     (make-immutable-hasheq (hash-map assignments (λ (cls _) (cons cls (find cls assignments)))))))