diff --git a/symmetric_mahler_equality_v2.txt b/symmetric_mahler_equality_v2.txt
index 98e46f4..f7e5538 100644
--- a/symmetric_mahler_equality_v2.txt
+++ b/symmetric_mahler_equality_v2.txt
@@ -413,7 +413,7 @@ s in (0,1) of tau and set E_s = { tau < s }. By compactness of the
 sublevel set (assumption (iii)) and Sard's theorem, E_s is a compact
 smooth manifold with boundary ∂E_s = { tau = s }. Stokes gives
     ∫_{E_s} (d d^c tau)^d  =  ∫_{∂E_s} d^c tau ^ (d d^c tau)^{d-1}.
-Put gamma = d^c log tau = tau^{-1} d^c tau on U \ {0}. The identities
+Put gamma = d^c log tau = tau^{-1} d^c tau on U minus {0}. The identities
     d^c log tau  =  tau^{-1} d^c tau,
     d d^c log tau = tau^{-1} d d^c tau  -  tau^{-2} d tau ^ d^c tau
 and the fact that d tau pulls back to zero on ∂E_s give
@@ -423,7 +423,7 @@ epsilon > 0 small enough that the closed ball B_epsilon-bar lies in E_s.
 Orient S_epsilon = ∂B_epsilon outward. Applying Stokes on
 E_s minus the interior of B_epsilon-bar,
     s^{-d} ∫_{E_s} (d d^c tau)^d  -  ∫_{S_epsilon} gamma ^ (d gamma)^{d-1}
-         =  ∫_{E_s \ B_epsilon} (d d^c log tau)^d   >=  0.
+         =  ∫_{E_s minus B_epsilon} (d d^c log tau)^d   >=  0.
 So
     s^{-d} ∫_{E_s} (d d^c tau)^d  >=  ∫_{S_epsilon} gamma ^ (d gamma)^{d-1}.
 We compute the right-hand side in the limit epsilon -> 0.