diff --git a/documentation/dev-manual/dev-manual-kernel-appendix.xml b/documentation/dev-manual/dev-manual-kernel-appendix.xml
index 980de066f9..9e5a4ff101 100644
--- a/documentation/dev-manual/dev-manual-kernel-appendix.xml
+++ b/documentation/dev-manual/dev-manual-kernel-appendix.xml
@@ -432,12 +432,12 @@
KSRC_linux_yocto_3_2 ?= "/home/scottrif/linux-yocto-3.2.git"
- Specify the Kernel Machine: Also in the
+