diff --git a/blueprint/src/chapter/main.tex b/blueprint/src/chapter/main.tex
index c1d72412..439c613f 100644
--- a/blueprint/src/chapter/main.tex
+++ b/blueprint/src/chapter/main.tex
@@ -6364,6 +6364,7 @@ \section{The classical Carleson theorem}
 \begin{lemma}[smooth
 approximation]
 \label{smooth-approximation}
+\leanok
 The function $f_0$ is $2\pi$-periodic.
 The function $f_0$ is smooth (and therefore measurable).
 The function $f_0$ satisfies for all $x\in \R$:
@@ -6743,7 +6744,7 @@ \section{Smooth functions.}
 
 \begin{lemma}
 \label{convergence-for-twice-contdiff}
-\uses{convergence-of-coeffs-summable}
+\uses{fourier-coeff-derivative,convergence-of-coeffs-summable}
 \leanok
 Let $f:\R \to \C$ be $2\pi$-periodic and twice continuously differentiable. Then
 \begin{equation}