diff --git a/0-Core-Formalism/lean/Semantics/Semantics/GraphRank.lean b/0-Core-Formalism/lean/Semantics/Semantics/GraphRank.lean
index 7a39c688..5546d514 100644
--- a/0-Core-Formalism/lean/Semantics/Semantics/GraphRank.lean
+++ b/0-Core-Formalism/lean/Semantics/Semantics/GraphRank.lean
@@ -1,7 +1,6 @@
 import Semantics.Spectrum
 
-/-!
-# GraphRank — Spectral-gap-gated ranking on social graphs
+/-! # GraphRank — Spectral-gap-gated ranking on social graphs
 
 Maps the PageRank/HITS/Fiedler/PPR mathematical lineage onto the 8-bin
 Sidon spectral space from `Semantics.Spectrum`.