diff --git a/collects/datalog/info.rkt b/collects/datalog/info.rkt
index dbee0f5..5d07e08 100644
--- a/collects/datalog/info.rkt
+++ b/collects/datalog/info.rkt
@@ -1,3 +1,5 @@
 #lang setup/infotab
+
 (define scribblings '(["scribblings/datalog.scrbl" (multi-page) (language)]))
+
 (define compile-omit-paths '("tests"))