diff --git a/thesis.tex b/thesis.tex
index fa87211..4ae45dc 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -4823,9 +4823,9 @@ Unlike other delimited control operators, $\Catchcont$ does not
 introduce separate explicit syntactic constructs for the control
 delimiter and control reifier. Instead it leverages the higher-order
 facilities of $\lambda$-calculus: the syntactic construct $\Catchcont$
-play the role of control delimiter and the (generative) function name
-$f$ is the name of the control reifier. \citet{LongleyW08} describe
-$f$ as a `dummy variable'.
+play the role of control delimiter and the name $f$ of function type
+is the name of the control reifier. \citet{LongleyW08} describe $f$ as
+a `dummy variable'.
 
 The typing rule for $\Catchcont$ is as follows.
 %