diff --git a/thesis.tex b/thesis.tex
index b89bbb9..0a4fb01 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -2556,8 +2556,8 @@ William Shakespeare's \emph{The Tragedy of Hamlet, Prince of Denmark},
 Act III, Scene I~\cite{Shakespeare6416} to the file.
 %
 Using $\nondet$ and $\fork$ together with the previously defined
-infrastructure, we can fork the initial process such that we run can
-both of the above computations concurrently.
+infrastructure, we can fork the initial process such that both of the
+above computations are run concurrently.
 %
 \[
   \ba{@{~}l@{~}l}