diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index f3c0f273..d69d5d1f 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -4245,14 +4245,12 @@ if this happens, discard the key and repeat with a different $\SpendingKey$.
 
         Then $f$ is also a \xPRF, since
         $\LEOStoIP{\PRFOutputLengthExpand} \typecolon \PRFOutputExpand \rightarrow \binaryrange{\PRFOutputLengthExpand}$
-        is injective, and the bias introduced by the reduction modulo $\ParamJ{r}$ is small
+        is injective; the bias introduced by reduction modulo $\ParamJ{r}$ is small
         because \crossref{constants} defines $\PRFOutputLengthExpand$ as $512$, while $\ParamJ{r}$
-        has length $252$ bits.
-
-        It follows that the distribution of $\AuthSignPrivate$,
+        has length $252$ bits. It follows that the distribution of $\AuthSignPrivate$,
         i.e.\ $\PRFexpand{\SpendingKey}([0]) : \SpendingKey \leftarrowR \SpendingKeyType$,
-        is computationally indistinguishable from that of $\SpendAuthSigGenPrivate()$ (defined
-        in \crossref{concretespendauthsig}).
+        is computationally indistinguishable from that of $\SpendAuthSigGenPrivate()$ defined
+        in \crossref{concretespendauthsig}.
   \item Similarly, the distribution of $\AuthProvePrivate$, i.e.\
         $\ToScalar(\PRFexpand{\SpendingKey}([1])) : \SpendingKey \leftarrowR \SpendingKeyType$,
         is computationally indistinguishable from the uniform distribution on $\GF{\ParamJ{r}}$.
@@ -10116,7 +10114,7 @@ Let $\CanopyActivationHeight$ be as defined in \crossref{constants}.
 \begin{formulae}
 \item \begin{tabular}{|l|c|c|c|c|}
 \hline
-Stream                   & Numerator & Denominator & Start height & End height \\\hline
+Stream                   & Numerator & Denominator & Start height & End height \\\hline\raisedstrut
 \texttt{FS\_ZIP214\_ECC} &    $7$     &    $100$   &  $1046400$   &  $2726400$ \\
 \texttt{FS\_ZIP214\_ZF}  &    $5$     &    $100$   &  $1046400$   &  $2726400$ \\
 \texttt{FS\_ZIP214\_MG}  &    $8$     &    $100$   &  $1046400$   &  $2726400$ \\\hline
@@ -10128,7 +10126,7 @@ It also defines these \fundingStreams for \Testnet:
 \begin{formulae}
 \item \begin{tabular}{|l|c|c|c|c|}
 \hline
-Stream                   & Numerator & Denominator & Start height & End height \\\hline
+Stream                   & Numerator & Denominator & Start height & End height \\\hline\raisedstrut
 \texttt{FS\_ZIP214\_ECC} &    $7$     &    $100$   &  $1028500$   &  $2796000$ \\
 \texttt{FS\_ZIP214\_ZF}  &    $5$     &    $100$   &  $1028500$   &  $2796000$ \\
 \texttt{FS\_ZIP214\_MG}  &    $8$     &    $100$   &  $1028500$   &  $2796000$ \\\hline