diff --git a/BUILDING.md b/BUILDING.md
index d636c24bc01..b8262e245cf 100644
--- a/BUILDING.md
+++ b/BUILDING.md
@@ -303,7 +303,9 @@ Now we are ready to build ESBMC. Please note that we describe the same build opt
 
 If you are building ESBMC-CHERI, please complete the following sections BEFORE configuring CMake:
 - Preparing CHERI Clang 13 (experimental)
+  - This section helps you to set up CHERI clang and configure `ESBMC_CLANG` to use it in ESBMC-CHERI.
 - Setting up the sysroot for CHERI clang
+  - This sections helps you to set up CHERI rootfs, directing ESBMC-CHERI to use CHERI header files.
 
 First, we need to configure __CMake__, by using the following command in ESBMC_Project directory you just created: