diff --git a/src/hott/03-equivalences.rzk.md b/src/hott/03-equivalences.rzk.md
index 56aaf0db..5063df8c 100644
--- a/src/hott/03-equivalences.rzk.md
+++ b/src/hott/03-equivalences.rzk.md
@@ -535,7 +535,7 @@ The retraction associated with an equivalence is an equivalence.
 
 ## Section-retraction pairs
 
-A pair of maps `s : A' → B` and `r : B → A` is a section-retraction pair if the
+A pair of maps `s : A' → B` and `r : B → A` is a **section-retraction pair** if the
 composite `A' → A` is an equivalence.
 
 ```rzk