diff --git a/scribblings/networks.scrbl b/scribblings/networks.scrbl
index ac98c4f..fb61c1f 100644
--- a/scribblings/networks.scrbl
+++ b/scribblings/networks.scrbl
@@ -27,21 +27,21 @@ This model can generalise Boolean networks, TBANs, multivalued networks, etc.
 
 @section[#:tag "networks-basics"]{Basic definitions}
 
-@defform[(State a)]{
+@defform[#:kind "type" (State a)]{
 
 An immutable mapping (a hash table) assigning elements of type @racket[a] to
 the variables.  A synonym of @racket[VariableMapping].
 
 }
 
-@defform[(UpdateFunction a)]{
+@defform[#:kind "type" (UpdateFunction a)]{
 
 An update function is a function computing a value from the given
 state.  This is a synonym of the type @racket[(-> (State a) a)].
 
 }
 
-@defform[(DomainMapping a)]{
+@defform[#:kind "type" (DomainMapping a)]{
 
 A domain mapping is a hash table mapping variables to the lists of values in
 their domains.
diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl
index 2634e0b..9d917b3 100644
--- a/scribblings/utils.scrbl
+++ b/scribblings/utils.scrbl
@@ -25,13 +25,13 @@ the package: evaluating sexps, manipulating lists,
 
 @section{Base types}
 
-@defidform[Variable]{
+@defidform[#:kind "type" Variable]{
 
 Any Racket symbol.  Designates a variable in a discrete dynamical network.
 
 }
 
-@defform[(VariableMapping A)]{
+@defform[#:kind "type" (VariableMapping A)]{
 
 An immutable mapping (a hash table) assigning elements of type @racket[A] to
 the variables.