diff --git a/collects/scribblings/scribble/xref.scrbl b/collects/scribblings/scribble/xref.scrbl
index 0de8ff1a..1188f027 100644
--- a/collects/scribblings/scribble/xref.scrbl
+++ b/collects/scribblings/scribble/xref.scrbl
@@ -56,14 +56,6 @@ get all cross-reference information for installed documentation.}
                                                               symbol?
                                                               (one-of/c 0 1)
                                                               (or/c exact-integer? false/c)
-                                                              (or/c exact-integer? false/c))
-                                                      (list/c (or/c module-path?
-                                                                    module-path-index?
-                                                                    path?
-                                                                    resolved-module-path?)
-                                                              symbol?
-                                                              (one-of/c 0 1)
-                                                              (or/c exact-integer? false/c)
                                                               (or/c exact-integer? false/c)))]
                                        [mode (or/c exact-integer? false/c)])
          (or/c tag? false/c)]{