diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/4.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/4.diff
index bb053f3886..494ffd1f8f 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/4.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/4.diff
@@ -1,7 +1,7 @@
 3c3
 < (define the-error "no-error")
 ---
-> (define the-error "mishandling branches when then branch needs more stack than else branch")
+> (define the-error "mishandling branches when then branch needs more stack than else branch; bug in the boxenv case not checking a stack bound")
 155c155,156
 <    (side-condition (< (term n_p) (term n_l)))]
 ---
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/5.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/5.diff
index 8753ce38e8..b0b82e51e8 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/5.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/5.diff
@@ -1,7 +1,7 @@
 3c3
 < (define the-error "no-error")
 ---
-> (define the-error "bug 5")
+> (define the-error "mishandling branches when then branch needs more stack than else branch; bug in the let-rec case not checking a stack bound")
 163c163,164
 <    (side-condition (<= (term n) (term n_l)))
 ---
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-4.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-4.rkt
index 1ac0d3abb7..19f3d7bc5c 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-4.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-4.rkt
@@ -1,6 +1,6 @@
 #lang racket
 
-(define the-error "mishandling branches when then branch needs more stack than else branch")
+(define the-error "mishandling branches when then branch needs more stack than else branch; bug in the boxenv case not checking a stack bound")
 
 (require redex/reduction-semantics)
 (require "../../racket-machine/grammar.rkt" 
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-5.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-5.rkt
index 9098c2bf73..10815e24b6 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-5.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-5.rkt
@@ -1,6 +1,6 @@
 #lang racket
 
-(define the-error "bug 5")
+(define the-error "mishandling branches when then branch needs more stack than else branch; bug in the let-rec case not checking a stack bound")
 
 (require redex/reduction-semantics)
 (require "../../racket-machine/grammar.rkt"