diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index 947bfd05..1b104a46 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -9226,7 +9226,7 @@ Define:
   \item $\FounderAddressAdjustedHeight(\BlockHeight \typecolon \Nat) :=$
         \vspace{-0.5ex}
   \item \tab $\begin{cases}
-                \BlockHeight, &\caseif \BlockHeight < \BlossomActivationHeight, \\
+                \BlockHeight, &\caseif \text{ not } \IsBlossomActivated(\BlockHeight), \\
                 \BlossomActivationHeight + \floor{\hfrac{\BlockHeight - \BlossomActivationHeight}{\BlossomPoWTargetSpacingRatio}}, &\caseotherwise
               \end{cases}$
 }
@@ -9949,6 +9949,8 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
     \item No changes to \Sprout\notsprout{ or \Sapling}.
 \blossom{
     \item Minor fix to the list of integer constants in \crossref{notation}.
+    \item Use $\IsBlossomActivated$ in the definition of $\FounderAddressAdjustedHeight$
+          for consistency.
 }
 \end{itemize}