diff --git a/blueprint/src/chapter/distance.tex b/blueprint/src/chapter/distance.tex
index 9fb0b39c..7b9c0801 100644
--- a/blueprint/src/chapter/distance.tex
+++ b/blueprint/src/chapter/distance.tex
@@ -43,7 +43,7 @@ \chapter{Entropic Ruzsa calculus}
 \]
 \end{corollary}
 
-\begin{proof} \uses{sumset-lower-gen}\leanok This follows from \Cref{sumset-lower-gen} by conditioning to $Z = z$ and summing over $z$ (weighted by <| \bbP[Z=z]$).
+\begin{proof} \uses{sumset-lower-gen}\leanok This follows from \Cref{sumset-lower-gen} by conditioning to $Z = z$ and summing over $z$ (weighted by $\bbP[Z=z]$).
 \end{proof}
 
 \begin{corollary}[Independent lower bound on sumset]
diff --git a/blueprint/src/chapter/entropy.tex b/blueprint/src/chapter/entropy.tex
index d44cde6c..ff327e6e 100644
--- a/blueprint/src/chapter/entropy.tex
+++ b/blueprint/src/chapter/entropy.tex
@@ -193,7 +193,7 @@ \chapter{Shannon entropy inequalities}
   \uses{concave, alternative-mutual}
   \leanok
 
-  An application of jensen's inequality and \Cref{concave, alternative-mutual}.
+  An application of jensen's inequality and \Cref{concave,alternative-mutual}.
 \end{proof}
 
 \begin{corollary}[Subadditivity]