diff --git a/collects/datalog/private/pprint.rkt b/collects/datalog/private/pprint.rkt
index 92924ef70a..b26f7ee0c6 100644
--- a/collects/datalog/private/pprint.rkt
+++ b/collects/datalog/private/pprint.rkt
@@ -7,9 +7,9 @@
 (define (text s) s)
 (define (h-append . ss) (apply string-append ss))
 (define (v-concat/s ss)
-  (apply string-append (add-between ss "\n")))
+  (apply string-append ss))
 (define (v-concat ss)
-  (v-concat/s ss))
+  (apply string-append (add-between ss "\n")))
 (define (apply-infix d ds)
   (add-between ds d))
 (define line "\n")