diff --git a/chapters/ch01-why-verify.tex b/chapters/ch01-why-verify.tex
index c796c1e..527d3d1 100644
--- a/chapters/ch01-why-verify.tex
+++ b/chapters/ch01-why-verify.tex
@@ -169,7 +169,7 @@ Before you read another word, go and touch the thing this book is about. Open
 append-only log of machine-checked proofs --- 19 entries, each one a claim of
 the form ``this exact version of this software was verified, resting on
 exactly these assumptions.'' Entries 13--16 are the four Ed25519 libraries
-whose pyramid you see above. Entry~18 is the first \emph{post-quantum} entry
+whose pyramid you see above. Leaf~18 is the first \emph{post-quantum} entry
 in the log. You cannot read the proofs yet --- that is what the next thirteen
 chapters are for --- but you can already see that they are real, public, and
 checkable by a stranger with a stock laptop. That stranger is who you are
diff --git a/main.pdf b/main.pdf
index a5a968b..2834b40 100644
Binary files a/main.pdf and b/main.pdf differ