diff --git a/papers/scp/PLFA.tex b/papers/scp/PLFA.tex
index d28cbdef..669ea228 100755
--- a/papers/scp/PLFA.tex
+++ b/papers/scp/PLFA.tex
@@ -964,7 +964,7 @@ incorporated almost all of this functionality, and \texttt{agda2html} is now
 deprecated.)
 
 The book is built, tested, and published after each commit, using Travis CI, a
-web service for continuous integration.  The means that the book is constantly
+web service for continuous integration.  This means that the book is constantly
 changing.  To accommodate those who want a more stable version, e.g., for
 teaching, we maintain a stable version of the book at
 \begin{center}