diff --git a/Qq/Delab.lean b/Qq/Delab.lean
index c290cca..96e9c74 100644
--- a/Qq/Delab.lean
+++ b/Qq/Delab.lean
@@ -2,7 +2,9 @@ import Qq.Macro
 /-!
 # Delaborators for `q()` and `Q()` notation
 -/
+
 open Qq Lean Elab PrettyPrinter.Delaborator SubExpr Meta Impl Std
+
 namespace Qq
 
 namespace Impl