diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index a0015265..d116861d 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -8793,7 +8793,7 @@ intermediate values of $\Acc$:
         \vspace{-0.25ex}
   \item for $i$ from $1$ up to $n$:
         \vspace{-1ex}
-  \item \tab set $\Acc_i \leftarrow \big(\Acc_{i-1} \incompleteadd \SinsemillaGenBase(m_i)\kern-0.1em\big) \incompleteadd \Acc_{i-1}$
+  \item \tab let $\Acc_i \leftarrow \big(\Acc_{i-1} \incompleteadd \SinsemillaGenBase(m_i)\kern-0.1em\big) \incompleteadd \Acc_{i-1}$
   \item \vspace{-4.5ex}
   \item return $\Acc_n$.
 \end{formulae}
@@ -14381,6 +14381,7 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
     \item No changes before \NUFive.
 \end{itemize}
 
+
 \historyentry{2021.2.4}{2021-06-08}
 \begin{itemize}
 \nufive{