diff --git a/DispersiveEquations/SchroedingerPropagator/Documentation.lean b/DispersiveEquations/SchroedingerPropagator/Documentation.lean
index f51f66f..21e80ea 100644
--- a/DispersiveEquations/SchroedingerPropagator/Documentation.lean
+++ b/DispersiveEquations/SchroedingerPropagator/Documentation.lean
@@ -45,3 +45,5 @@ thus extend the solution operator to a map $`H^s → C(ℝ, H^2)`.
 Every Fourier multiplier $`M_f` can be represented as a convolution operator with kernel
 $`K = 𝓕⁻ f`. Therefore, the explicit representation of the solution operator follows from the
 calculation of the Fourier transform of the complex Gaussian as outlined in the previous chapter.
+
+foobarblubb