diff --git a/bi_lipschitz_rcd_coordinates_v2.txt b/bi_lipschitz_rcd_coordinates_v2.txt
index e82e92a..2d140a0 100644
--- a/bi_lipschitz_rcd_coordinates_v2.txt
+++ b/bi_lipschitz_rcd_coordinates_v2.txt
@@ -266,7 +266,7 @@ Because regular points have full measure, the theorem immediately
 gives a global structure statement.
 
   Corollary. Under the theorem's hypotheses there is an open set
-  U' containing every n-regular point, with H^n(X \ U') = 0, and a
+  U' containing every n-regular point, with H^n(X minus U') = 0, and a
   countable atlas of L_n-bi-Lipschitz charts from ambient-open
   subsets of U' onto open subsets of R^n. Each chart uses the
   restricted ambient distance, and any two overlapping charts have