From 0213f36385ff5214b67d664b841e1c201d65e6ed Mon Sep 17 00:00:00 2001
From: Hans Dijkema <hans@dijkewijk.nl>
Date: Wed, 9 Jul 2025 07:37:04 +0200
Subject: [PATCH] .

---
 scribblings/roos.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scribblings/roos.scrbl b/scribblings/roos.scrbl
index d60f2d2..be33c42 100644
--- a/scribblings/roos.scrbl
+++ b/scribblings/roos.scrbl
@@ -17,7 +17,7 @@ It supports class definitions with attributes and methods, multiple inheritance,
 and persistent fields through a user-extensible storage mechanism. All methods and attributes
 are virtual, and may be overridden in subclasses.
 
-@subsection{Class Definition Syntax}
+@section{Class Definition Syntax}
 
 @defform[(def-roos (class-name ...) this (supers ...) body ...)]{
 Defines a ROOS class.