diff --git a/csp/csp/info.rkt b/csp/csp/info.rkt
index cfe014dd..b9324dc8 100644
--- a/csp/csp/info.rkt
+++ b/csp/csp/info.rkt
@@ -1,3 +1,3 @@
 #lang info
 
-(define scribblings '(("scribblings/csp.scrbl")))
+(define scribblings '(("scribblings/csp.scrbl" ())))