diff --git a/documentation/dev-manual/dev-manual-model.xml b/documentation/dev-manual/dev-manual-model.xml
index 427e25a368..1466f634c2 100644
--- a/documentation/dev-manual/dev-manual-model.xml
+++ b/documentation/dev-manual/dev-manual-model.xml
@@ -542,7 +542,8 @@
         facilitate quick development and integration of your application into its run-time environment. 
         Using the ADT and toolchains, you can compile and link your application. 
         You can then deploy your application to the actual hardware or to the QEMU emulator for testing.
-        If you are familiar with the popular Eclipse IDE, you can use an Eclipse Yocto Plug-in to 
+        If you are familiar with the popular <trademark class='trade'>Eclipse</trademark> IDE, 
+        you can use an Eclipse Yocto Plug-in to 
         allow you to develop, deploy, and test your application all from within Eclipse.
     </para>
 
@@ -600,9 +601,8 @@
                                 If your target architecture is similar to a supported architecture, you can 
                                 modify the kernel image before you build it.
                                 See the 
-                                "<link linkend='kernel-modification-workflow'>Kernel Modification Workflow</link>"
-                                section earlier in this manual for information on how to create a modified 
-                                Yocto Project kernel.</para></listitem>
+                                "<link linkend='dev-manual-kernel-appendix'>Kernel Modification Example</link>"
+                                appendix later in this manual for an example.</para></listitem>
                         </itemizedlist></para>
                     <para>For information on pre-built kernel image naming schemes for images 
                     that can run on the QEMU emulator, see the