diff --git a/main.rkt b/main.rkt
index fb7e918..ae1f6ae 100644
--- a/main.rkt
+++ b/main.rkt
@@ -946,7 +946,9 @@ it
 @section{Robust macros: syntax-parse}
 
 TO-DO.
+
 TO-DO.
+
 TO-DO.
 
 @; ----------------------------------------------------------------------------