diff --git a/src/measure/radon/c0.tex b/src/measure/radon/c0.tex
index 470d687..2c3d217 100644
--- a/src/measure/radon/c0.tex
+++ b/src/measure/radon/c0.tex
@@ -176,9 +176,9 @@
     \nu: \cb_X \to E^* \quad \dpn{y,\nu(A)}{E} = \int_{X \times B} \one_A(x) \cdot \dpn{y, \phi}{E} \mu(dx, d\phi)
     \]
 
-    It may be more tempting to use the strong formulation directly
+    It may be tempting to use the strong formulation directly
     \[
-    \nu: \cb_X \to E^* \quad \dpn{y,\nu(A)}{E} = \int_{X \times B} \phi \cdot \one_A(x) \mu(dx, d\phi)
+    \nu: \cb_X \to E^* \quad \nu(A) = \int_{X \times B} \phi \cdot \one_A(x) \mu(dx, d\phi)
     \]
 
     However, without additional assumptions on $E^*$, $\phi \cdot \one_A(x)$ may not be strongly measurable, which prevents this direct use of the Bochner integral. Thus the weak formulation is a necessary complication in the proof.