diff --git a/pkgs/datalog/info.rkt b/pkgs/datalog/info.rkt
index 80ff3d8..ef479bb 100644
--- a/pkgs/datalog/info.rkt
+++ b/pkgs/datalog/info.rkt
@@ -1,4 +1,4 @@
-#lang setup/infotab
+#lang info
 
 (define collection "datalog")