diff --git a/documentation/kernel-dev/kernel-dev-maint-appx.xml b/documentation/kernel-dev/kernel-dev-maint-appx.xml
index 00fee3e352..3a91af1e0d 100644
--- a/documentation/kernel-dev/kernel-dev-maint-appx.xml
+++ b/documentation/kernel-dev/kernel-dev-maint-appx.xml
@@ -210,7 +210,9 @@
the build tree directory.
The files include the final .config file, all the .o
files, the .a files, and so forth.
- Since each machine or BSP has its own separate build directory in its own separate branch
+ Since each machine or BSP has its own separate
+ Build Directory
+ in its own separate branch
of the Git repository, you can easily switch between different builds.