diff --git a/thesis.tex b/thesis.tex
index a2a0e8e..55924a1 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -3977,7 +3977,7 @@ $M \reducesto^\ast V$ if and only if $\pcps{M} \reducesto^\ast \pcps{V}$.
 
 \paragraph{Plotkin's colon translation}
 
-The traditional method for proving the correctness of a CPS
+The original method for proving the correctness of a CPS
 translation is by way of a simulation result. Simulation states that
 every reduction sequence in a given source program is mimicked by its
 CPS transformation.