diff --git a/redex-lib/redex/HISTORY.txt b/redex-lib/redex/HISTORY.txt
index 79c77dfd..9a49e8bc 100644
--- a/redex-lib/redex/HISTORY.txt
+++ b/redex-lib/redex/HISTORY.txt
@@ -1,3 +1,7 @@
+v8.13
+
+  * bug fix
+
 v8.12
 
   * documentation improvements
diff --git a/redex-lib/redex/private/binding-forms.rkt b/redex-lib/redex/private/binding-forms.rkt
index b3d4541b..c69e65cf 100644
--- a/redex-lib/redex/private/binding-forms.rkt
+++ b/redex-lib/redex/private/binding-forms.rkt
@@ -677,6 +677,7 @@ to traverse the whole value at once, rather than one binding form at a time.
       (define maybe-car (if (value-with-spec? redex-val) values car))
       (define maybe-cdr (if (value-with-spec? redex-val) values cdr))
       (define maybe-drop (if (value-with-spec? redex-val) (λ (x y) x) drop))
+      (printf "body ~s\n" body)
       (match body
         ;; I thought that `rename-reference`ing this subterm of the current form was
         ;; going to be a problem: `rename-reference` doesn't have any idea about the