diff --git a/pkgs/db-pkgs/db-doc/db/scribblings/sql-types.scrbl b/pkgs/db-pkgs/db-doc/db/scribblings/sql-types.scrbl
index d943df36db..10a4c30f9a 100644
--- a/pkgs/db-pkgs/db-doc/db/scribblings/sql-types.scrbl
+++ b/pkgs/db-pkgs/db-doc/db/scribblings/sql-types.scrbl
@@ -6,8 +6,7 @@
           racket/runtime-path
           "config.rkt"
           "tabbing.rkt"
-          (for-label (prefix-in srfi: srfi/19)
-                     db db/util/geometry db/util/postgresql
+          (for-label db db/util/geometry db/util/postgresql
                      json))
 
 @(define-runtime-path log-file "log-for-sql-types.rktd")
@@ -414,15 +413,15 @@ values.
   Represents SQL times and timestamps.
 
   The @racket[tz] field indicates the time zone offset as the number
-  of seconds east of GMT (as in SRFI 19). If @racket[tz] is
-  @racket[#f], the time or timestamp does not carry time zone
-  information.
+  of seconds east of GMT (as in @racketmodname[srfi/19
+  #:indirect]). If @racket[tz] is @racket[#f], the time or timestamp
+  does not carry time zone information.
 
   The @racket[sql-time] and @racket[sql-timestamp] structures store
   fractional seconds to nanosecond precision for compatibility with
-  SRFI 19. Note, however, that database systems generally do not
-  support nanosecond precision; PostgreSQL, for example, only supports
-  microsecond precision.
+  @racketmodname[srfi/19 #:indirect]. Note, however, that database
+  systems generally do not support nanosecond precision; PostgreSQL,
+  for example, only supports microsecond precision.
 
 @examples[#:eval the-eval
 (query-value pgc "select date '25-dec-1980'")
diff --git a/pkgs/db-pkgs/db-doc/db/scribblings/util.scrbl b/pkgs/db-pkgs/db-doc/db/scribblings/util.scrbl
index a790a24438..83c3e798cf 100644
--- a/pkgs/db-pkgs/db-doc/db/scribblings/util.scrbl
+++ b/pkgs/db-pkgs/db-doc/db/scribblings/util.scrbl
@@ -36,7 +36,7 @@ modules below, not by @racketmodname[db] or @racketmodname[db/base].
          sql-timestamp?]]]{
 
   Converts between this library's date and time values and SRFI 19's
-  date values (see @racketmodname[srfi/19]). SRFI dates store more
+  date values (see @racketmodname[srfi/19 #:indirect]). SRFI dates store more
   information than SQL dates and times, so converting a SQL time to a
   SRFI date, for example, puts zeroes in the year, month, and day
   fields.
diff --git a/pkgs/db-pkgs/db-doc/info.rkt b/pkgs/db-pkgs/db-doc/info.rkt
index 40bcd1ba17..e4abe7437d 100644
--- a/pkgs/db-pkgs/db-doc/info.rkt
+++ b/pkgs/db-pkgs/db-doc/info.rkt
@@ -6,7 +6,6 @@
 
 (define build-deps '("data-doc"
                      "srfi-lite-lib"
-                     "srfi-doc"
                      "web-server-doc"
                      "base"
                      "scribble-lib"