diff --git a/Analysis/Section_4_3.lean b/Analysis/Section_4_3.lean
index 094799a1..9e7432a3 100644
--- a/Analysis/Section_4_3.lean
+++ b/Analysis/Section_4_3.lean
@@ -58,7 +58,7 @@ theorem abs_eq_abs (x: ℚ) : abs x = |x| := by
 abbrev dist (x y : ℚ) := |x - y|
 
 /--
-  Definition 4.2 (Distance).
+  Definition 4.3.2 (Distance).
   We avoid the Mathlib notion of distance here because it is real-valued.
 -/
 theorem dist_eq (x y: ℚ) : dist x y = |x-y| := rfl