diff --git a/collects/redex/private/bitmap-test.ss b/collects/redex/private/bitmap-test.ss
index ed2fc014ef..8d84edfcb6 100644
--- a/collects/redex/private/bitmap-test.ss
+++ b/collects/redex/private/bitmap-test.ss
@@ -64,11 +64,11 @@
 
 (define-metafunction lang
   [(TL 1) (a
-           ,(term-let ((x 1))
+           ,(term-let ((x (term 1)))
                       (term x))
            below-only)]
   [(TL 2) (a
-           ,(term-let ((x 1))
+           ,(term-let ((x (term 1)))
                       (term x)) beside
            below)])
 
@@ -78,7 +78,7 @@
 
 (define-metafunction lang
   [(Name (name x-arg arg)) 
-   ,(term-let ((x-term-let 1))
+   ,(term-let ((x-term-let (term 1)))
               (term (x-where x-term-let)))
    (where x-where 2)])
 
diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss
index 979d5fa0b9..ebfed67542 100644
--- a/collects/redex/private/reduction-semantics.ss
+++ b/collects/redex/private/reduction-semantics.ss
@@ -318,8 +318,9 @@
                        [(fvars ...) fvars]
                        [((where-id where-expr) ...) withs]
                        [((bind-id . bind-pat) ...) 
-                        (append (extract-pattern-binds #'lhs)
-                                (extract-term-let-binds #'rhs))])
+                        (extract-pattern-binds #'lhs)]
+                       [((tl-id . tl-pat) ...)
+                       (extract-term-let-binds #'rhs)])
            #`(make-rule-pict 'arrow
                              (to-lw lhs)
                              (to-lw rhs)
@@ -329,6 +330,9 @@
                              (list (cons (to-lw bind-id)
                                          (to-lw bind-pat))
                                    ...
+                                   (cons (to-lw tl-id)
+                                         (to-lw/uq tl-pat))
+                                   ...
                                    (cons (to-lw where-id)
                                          (to-lw where-expr))
                                    ...))))]))
@@ -1027,7 +1031,7 @@
                                                          (to-lw bind-pat))
                                                    ...
                                                    (cons (to-lw rhs-bind-id)
-                                                         (to-lw rhs-bind-pat))
+                                                         (to-lw/uq rhs-bind-pat))
                                                    ...
                                                    (cons (to-lw where-id)
                                                          (to-lw where-pat))