diff --git a/profile-doc/profile/scribblings/info.rkt b/profile-doc/profile/scribblings/info.rkt
index f06d481..f3736f1 100644
--- a/profile-doc/profile/scribblings/info.rkt
+++ b/profile-doc/profile/scribblings/info.rkt
@@ -1,3 +1,3 @@
 #lang info
 
-(define scribblings '(("profile.scrbl" () (tool-library))))
+(define scribblings '(("profile.scrbl" () ("Performance Tools"))))