diff --git a/doc/misc/cl.texi b/doc/misc/cl.texi
index c2a54fc8d53..6400fc6ece4 100644
--- a/doc/misc/cl.texi
+++ b/doc/misc/cl.texi
@@ -890,7 +890,7 @@ error.
 @end defun
 
 @node Derived Types
-@subsection Derived Types
+@section Derived Types
 
 @defmac cl-deftype name arglist [docstring] [decls] forms@dots{}
 This macro defines a new type called @var{name}.