diff --git a/thesis.tex b/thesis.tex
index 76ae5d5..f861826 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -19770,9 +19770,9 @@ equations.
 However, the first equation is derivable from the second and third
 equations. I first learned this from Paul{-}Andr{\'{e}} Melli{\`{e}}s
 during Shonan Seminar No.103 \emph{Semantics of Effects, Resources,
-  and Applications}. I have been unable to find a proof of this fact
-in the literature, though, \citeauthor{Mellies14} does have published
-paper, which only states the three necessary
+and Applications}. I have been unable to find a proof of this fact in
+the literature, though, \citeauthor{Mellies14} does have a published
+paper, which states only the three necessary
 equations~\cite{Mellies14}.
 %
 Therefore I include a proof of this fact here (thanks to Sam Lindley