diff --git a/marketplace/scribblings/prelude.inc b/marketplace/scribblings/prelude.inc
index bc027c0..fedaf4d 100644
--- a/marketplace/scribblings/prelude.inc
+++ b/marketplace/scribblings/prelude.inc
@@ -10,6 +10,9 @@
   (lambda (stx)
     (syntax-case stx ()
       [(_ (t a ...) d desc ...)
-       #`(defthing #:kind "type" t #,(syntax/loc #'d (All (a ...) d)) desc ...)]
+       #`(defthing #:kind "type" t
+;; This is in column zero because scribble is overscrupulous about location preservation.
+#,(quasisyntax/loc #'d (All (a ...) d))
+	   desc ...)]
       [(_ t d desc ...)
        #`(defthing #:kind "type" t d desc ...)])))