diff --git a/thesis.tex b/thesis.tex
index 25cde89..ad16bf8 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -2333,8 +2333,8 @@ of growth of $f$ is constant.
 \section{Typed programming languages}
 \label{sec:pls}
 We will be working mostly with statically typed programming
-languages. The following definition informally describes the component
-of a programming language.
+languages. The following definition informally describes the core
+components used to construct a statically typed programming language.
 %
 The point here is not to be mathematical rigorous, but rather to give
 an idea of what constitutes a programming language.