diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/1.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/1.diff
index bd0a70cc2c..275d0cccd5 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/1.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/1.diff
@@ -6,7 +6,3 @@
 <   [(typeof Γ M (σ → σ_2))
 ---
 >   [(typeof Γ M (σ_2 → σ_2))
-261c261
-<       M]
----
->      M]
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/2.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/2.diff
index be7f9f42c7..2ee83aa054 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/2.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/2.diff
@@ -5,7 +5,7 @@
 48d47
 <      (([cons @ τ] v) v)
 261,262c260
-<       M]
+<      M]
 <     [#f #f]))
 ---
 >      M]))
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/3.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/3.diff
index 29bf4a87b3..a35277dceb 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/3.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/3.diff
@@ -6,7 +6,3 @@
 <   [(typeof Γ M (σ → σ_2))
 ---
 >   [(typeof Γ M (σ_2 → σ))
-261c261
-<       M]
----
->      M]
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/4.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/4.diff
index e61b376c52..9a2d852da5 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/4.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/4.diff
@@ -6,7 +6,3 @@
 <    (∀ a (a → ((list a) → (list a))))]
 ---
 >    (∀ a (a → ((list a) → a)))]
-261c261
-<       M]
----
->      M]
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/5.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/5.diff
index 5b5b392dd9..65bd69e806 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/5.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/5.diff
@@ -6,7 +6,3 @@
 <         (in-hole E v_2)
 ---
 >         (in-hole E v_1)
-261c261
-<       M]
----
->      M]
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/6.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/6.diff
index b168ba5461..ab1151519b 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/6.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/6.diff
@@ -6,7 +6,3 @@
 <    (--> (in-hole E ((hd @ τ) (((cons @ τ) v_1) v_2)))
 ---
 >    (--> (in-hole E ((hd @ τ) ((cons @ τ) v_1)))
-261c261
-<       M]
----
->      M]
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff
index 1bcd0b447f..2ff8a5fe38 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff
@@ -7,7 +7,3 @@
 <      (v E)))
 ---
 >      (E M)))
-261c260
-<       M]
----
->      M]
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff
index 4b349ec727..40fe78302d 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff
@@ -6,7 +6,3 @@
 <    σ]
 ---
 >    int]
-261c261
-<       M]
----
->      M]
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/9.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/9.diff
index ec426a3532..1c497f5830 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/9.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/9.diff
@@ -6,7 +6,3 @@
 <   [(lookup (x σ Γ) x)
 ---
 >   [(lookup (x σ Γ) x_2)
-261c261
-<       M]
----
->      M]
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-1.rkt
index 921387c990..0959481d28 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-1.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-1.rkt
@@ -291,4 +291,3 @@
       (begin0
         (generate-term poly-stlc M #:i-th index)
         (set! index (add1 index))))))
-
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt
index b6b0ba78b3..b98d3ec0e2 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt
@@ -258,7 +258,7 @@
             (generate-term poly-stlc #:satisfying 
                            (typeof • ((((map @ τ_1) @ τ_2) v) (((cons @ τ_1) v_1) v_2)) τ) 5)])
     [`(typeof • ,M ,τ)
-      M]
+     M]
     [#f #f]))
 (define (typed-generator)
   (let ([g (redex-generator poly-stlc (typeof • M τ) 5)])