diff --git a/scribblings/functions.scrbl b/scribblings/functions.scrbl
index 2478ac8..31d105c 100644
--- a/scribblings/functions.scrbl
+++ b/scribblings/functions.scrbl
@@ -457,7 +457,7 @@ Instances of @racket[tbf] have the type @racket[TBF].
 
 }
 
-@defidform[TBF]{
+@defidform[#:kind "type" TBF]{
 
 The type of the instances of @racket[tbf]: