diff --git a/scribblings/networks.scrbl b/scribblings/networks.scrbl
index 2c4d797..8fe92f1 100644
--- a/scribblings/networks.scrbl
+++ b/scribblings/networks.scrbl
@@ -149,9 +149,9 @@ Instances of @racket[network] have the type @racket[Network].
 
 }
 
-@deftype[Network]{
+@deftypeform[(Network a)]{
 
-The type of the instances of @racket[Network].
+The type of the instances of @racket[network].
 
 @ex[
 (network (hash 'a or-func