diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff
index 1a8096e66c..d6eb9ef7ad 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff
@@ -1,7 +1,7 @@
 3c3
 < (define the-error "no error")
 ---
-> (define the-error "the ((cons number) v) value has been omitted")
+> (define the-error "the ((cons v) v) value has been omitted")
 33d32
 <      ((cons v) v)
 270a270,273
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt
index 70dec7fdea..fbcf0972bf 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt
@@ -1,6 +1,6 @@
 #lang racket/base
 
-(define the-error "the ((cons number) v) value has been omitted")
+(define the-error "the ((cons v) v) value has been omitted")
 
 (require redex/reduction-semantics
          (only-in redex/private/generate-term pick-an-index)