diff --git a/INSTALL.md b/INSTALL.md
index c2c6a553c2..4a2230b5df 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -79,6 +79,8 @@ Once this is done, you can start [browsing and editing UniMath](./USAGE.md).
 Below, we explain how to compile individual packages of UniMath, and how to
 create HTML documentation.
 
+### Building individual packages and HTML documentation
+
 - To compile an individual package and the files it depends on, e.g., the package `CategoryTheory`, issue
    ```bash
    $ make CategoryTheory