diff --git a/pdf/grandpa.tex b/pdf/grandpa.tex
index 4f87a8c..29a6101 100644
--- a/pdf/grandpa.tex
+++ b/pdf/grandpa.tex
@@ -286,7 +286,7 @@ In round $r$ an honest participant $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 $v$ starts round $r$.
+\item A voter $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 they have finalised it, they can broadcast $E_{r-1,v}$ anyway (but do not need to).