diff --git a/heilbronn_triangle_improvement_v2.txt b/heilbronn_triangle_improvement_v2.txt
index 42c7bfd..d97051f 100644
--- a/heilbronn_triangle_improvement_v2.txt
+++ b/heilbronn_triangle_improvement_v2.txt
@@ -753,7 +753,7 @@ V = G_q(a + S). Then:
   (a) |V| = s, 0 NOT in V, and V contains no three distinct collinear
       points.
 
-  (b) Let x = (x_1, x_2, x_3) in Z^3 \ {0} with |x| <= H, and let u^(1),
+  (b) Let x = (x_1, x_2, x_3) in Z^3 minus {0} with |x| <= H, and let u^(1),
       u^(2), u^(3) be distinct elements of V. Then:
       - If x_1 + x_2 + x_3 != 0, the relation
             x_1 u^(1) + x_2 u^(2) + x_3 u^(3) = 0 in F_q^3