diff --git a/source/basic.tex b/source/basic.tex
index b794205e59..6b1b8e4cad 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -7354,7 +7354,7 @@
 \end{note}
 
 \pnum
-There is an observablecheckpoint\iref{intro.abstract} $C$
+There is an observable checkpoint\iref{intro.abstract} $C$
 that happens before $A$
 such that any other operation $O$
 that happens before $A$