diff --git a/src/doc/rustc/src/symbol-mangling/v0.md b/src/doc/rustc/src/symbol-mangling/v0.md
index 797491a4ab30..dfd53434251c 100644
--- a/src/doc/rustc/src/symbol-mangling/v0.md
+++ b/src/doc/rustc/src/symbol-mangling/v0.md
@@ -548,7 +548,7 @@ Indices starting from 1 refer (as de Bruijn indices) to a higher-ranked lifetime
 > Index 0 should be displayed as `'_`.
 >
 > Lifetimes starting from 1 may be translated to single lowercase letters starting with `'a`.
-> Indices over 25 may consider printing the numeric lifetime index as in `_123`.
+> Indices over 25 may consider printing the numeric lifetime index as in `'_123`.
 >
 > Index 0 should not be displayed for lifetimes in a *[ref-type]*, *[mut-ref-type]*, or *[dyn-trait-type]*.
 >