diff --git a/blueprint/src/chapter/main.tex b/blueprint/src/chapter/main.tex
index d682c2b4..3eb456aa 100644
--- a/blueprint/src/chapter/main.tex
+++ b/blueprint/src/chapter/main.tex
@@ -9,15 +9,16 @@
 
 \date{\today}
 
+\maketitle
+
 \begin{abstract}
-    We prove  bounds for a generalized of Carleson operator on doubling metric measure spaces. We also
-    reduce explicitly Carleson's classical result on
-    pointwise control of Fourier series.
-    Both proofs are very detailed in a way suitable as blueprint for a computer verification of our results with present capability of the software package Lean. Even Carleson's classical result has not yet been computer verified.
+    We prove bounds for a generalized version of the Carleson operator on doubling metric measure spaces.
+    We also explicitly reduce Carleson's classical result on pointwise control of Fourier series.
+    Both proofs are very detailed, suitable as a blueprint for computer verification of our results with
+    the current capabilities of the software package Lean.
+    Even Carleson's classical result has not yet been computer verified.
 \end{abstract}
 
-\maketitle
-
 \tableofcontents
 
 \chapter{Introduction}