diff --git a/collects/datalog/lang/reader.rkt b/collects/datalog/lang/reader.rkt
index ea940552c9..8cf7d2a29d 100644
--- a/collects/datalog/lang/reader.rkt
+++ b/collects/datalog/lang/reader.rkt
@@ -12,6 +12,6 @@
            ; XXX repl submit
            (case key
              [(color-lexer)
-              (dynamic-require `datalog/tool/syntax-color) 'get-syntax-token)]
+              (dynamic-require `datalog/tool/syntax-color 'get-syntax-token)]
              [else (default key defval)]))
   (require "../parse.rkt"))
\ No newline at end of file