diff --git a/scribblings/tagged-xexpr.scrbl b/scribblings/tagged-xexpr.scrbl
index cb0d426..4d4d96f 100644
--- a/scribblings/tagged-xexpr.scrbl
+++ b/scribblings/tagged-xexpr.scrbl
@@ -142,7 +142,8 @@ Dissolves a @racket[_tagged-xexpr] into its components and returns all three.
 @defproc[
 (tagged-xexpr->list
 [tx tagged-xexpr?]) 
-(list tag attrs elements)]
+(list tagged-xexpr-tag? tagged-xexpr-attrs? 
+tagged-xexpr-elements?)]
 Like @racket[tagged-xexpr->values], but returns the three components in a list.
 
 @examples[#:eval my-eval