diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index ca902fbc..288205dc 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -8881,7 +8881,7 @@ Let $\Uncommitted{Orchard}$ be as defined in \crossref{constants}.
 
 \vspace{-0.25ex}
 Let $\ItoLEOSP{} \typecolon (\ell \typecolon \Nat) \times \binaryrange{\ell} \rightarrow \byteseq{\sceiling{\ell/8}}$
-and $\LEOStoIP{} \typecolon (\ell \typecolon \Nat \suchthat \ell \bmod 8 = 0) \times \byteseq{\ell/8} \rightarrow \binaryrange{\ell}$
+and $\LEBStoIP{} \typecolon (\ell \typecolon \Nat) \times \bitseq{\ell} \rightarrow \binaryrange{\ell}$
 be as defined in \crossref{endian}.
 
 \vspace{0.5ex}
@@ -14817,6 +14817,7 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
     \item Add the hyphen in \nh{Daira-Emma} Hopwood.
     \item Correct some author lists in the References.
     \item Prevent incorrect line-breaking on hyphens.
+    \item In \crossref{concretesinsemillahash}, declare use of $\LEBStoIP{}$ instead of $\LEOStoIP{}$.
 \end{itemize}