diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index c614277d..3c6361c5 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -8075,7 +8075,7 @@ $\versionField \geq 4$ and $\nShieldedSpend + \nShieldedOutput > 0$.
 
 \begin{consensusrules}
   \item The \transactionVersionNumber{} \MUST be greater than or equal to $1$.
-  \presaplingitem{The \fOverwintered{} flag \MUSTNOT be set\sprout{ in the protocol version described by this document}.}
+  \prenuzeroitem{The \fOverwintered{} flag \MUSTNOT be set\sprout{ in the protocol version described by this document}.}
   \nuzeroonwarditem{The \fOverwintered{} flag \MUST be set.}
   \nuzeroonwarditem{The \versionGroupID{} \MUST be recognized.}
   \nuzeroonlyitem{The \transactionVersionNumber{} \MUST be $3$ and the \versionGroupID{} \MUST
@@ -9574,6 +9574,8 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
     \item Add a consensus rule that $\valueBalance$ is in the range $\range{-\MAXMONEY}{\MAXMONEY}$.
     \item Enforce stronger constraints on the types of key components $\DiversifiedTransmitPublic$,
           $\AuthSignPublic$, and $\AuthProvePublic$.
+    \item Correct the conformance rule for \fOverwintered{} (it must not be set before \NUZero has
+          activated, not before \Sapling has activated).
     \item Correct the argument that $\vSum$ is in range in \crossref{saplingbalance}.
     \item Correct an error in the algorithm for $\RedDSAVerify{}$: the public key $\vk$ is given directly
           to this algorithm and should not be computed from the unknown private key $\sk$.