diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index ad4122f8..6d9fdf40 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -5628,6 +5628,12 @@ $\MerkleCRHSprout \typecolon \MerkleLayerSprout \times \MerkleHashSprout \times
 \end{formulae}
 
 \vspace{-4ex}
+\securityrequirement{
+$\SHACompress$ must be \collisionResistant, and it must be infeasible to find a preimage $x$
+such that $\SHACompress(x) = \zeros{256}$.
+}
+
+\vspace{-3ex}
 \begin{pnotes}
 \vspace{-1.5ex}
   \item The $\mathsf{layer}$ argument does not affect the output.
@@ -5637,12 +5643,6 @@ $\MerkleCRHSprout \typecolon \MerkleLayerSprout \times \MerkleHashSprout \times
 \end{pnotes}
 }
 
-\vspace{-2ex}
-\securityrequirement{
-$\SHACompress$ must be \collisionResistant, and it must be infeasible to find a preimage $x$
-such that $\SHACompress(x) = \zeros{256}$.
-}
-
 \sapling{
 \vspace{-3ex}
 \subsubsubsubsection{$\MerkleCRHSapling$ \HashFunction} \label{saplingmerklecrh}