diff --git a/documentation/dev-manual/dev-manual-kernel-appendix.xml b/documentation/dev-manual/dev-manual-kernel-appendix.xml
index 533875b040..7ac349b6e3 100644
--- a/documentation/dev-manual/dev-manual-kernel-appendix.xml
+++ b/documentation/dev-manual/dev-manual-kernel-appendix.xml
@@ -225,6 +225,8 @@
of cores your machine supports and set PARALLEL_MAKE to one and
a half times the number of cores your machine supports.
+
+
The following two commands build the default qemux86 image and
source build environment setup script.
If necessary, the script creates the build directory:
@@ -551,7 +553,7 @@
- Examining the Default CONFIG_SMP Behavior
+ Examining the Default CONFIG_SMP Behavior
By default, CONFIG_SMP supports single processor machines.
@@ -578,7 +580,7 @@