diff --git a/pdf/grandpa.tex b/pdf/grandpa.tex
index 52dfaa4..e4a0192 100644
--- a/pdf/grandpa.tex
+++ b/pdf/grandpa.tex
@@ -204,7 +204,7 @@ In round $r$ an honest validator $v$ does the following:
 \noindent \fbox{\parbox{6.3in}{
 
 \begin{enumerate}
-\item $v$ can start round $r > 1$ when round $r-1$ is completable and $v$ has cast votes in all previous rounds where they are a voter. Let $t_{r,v}$ be the time we start round $r$.
+\item $v$ can start round $r > 1$ when round $r-1$ is completable and $v$ has cast votes in all previous rounds where they are a voter. Let $t_{r,v}$ be the time $v$ starts round $r$.
 
 \item At time $t_{r,v}$, if $v$ is the primary of this round and has not finalised $E_{r-1,v}$ then they broadcast $E_{r-1,v}$. If thy have finalised it, they can broadcast $E_{r-1,v}$ anyway (but don't need to).