Index: /trunk/doc/manual/en_US/user_Troubleshooting.xml
===================================================================
--- /trunk/doc/manual/en_US/user_Troubleshooting.xml	(revision 35146)
+++ /trunk/doc/manual/en_US/user_Troubleshooting.xml	(revision 35147)
@@ -409,8 +409,10 @@
       <title>VM core format</title>
 
-      <para>VirtualBox uses the 64-bit ELF format for its VM core files. The
-      VM core file contain the memory and CPU dumps of the VM and can be
-      useful for debugging your guest OS. The 64-bit ELF object format
-      specficiation can be obtained here: <literal><ulink
+      <para>VirtualBox uses the 64-bit ELF format for its VM core files
+      created by <computeroutput>VBoxManage debugvm</computeroutput>; see
+      <xref linkend="vboxmanage-debugvm" />. The VM core file contain the
+      memory and CPU dumps of the VM and can be useful for debugging your
+      guest OS. The 64-bit ELF object format specficiation can be obtained
+      here: <literal><ulink
       url="http://downloads.openwatcom.org/ftp/devel/docs/elf-64-gen.pdf">http://downloads.openwatcom.org/ftp/devel/docs/elf-64-gen.pdf</ulink></literal>.</para>
 
Index: /trunk/doc/manual/en_US/user_VBoxManage.xml
===================================================================
--- /trunk/doc/manual/en_US/user_VBoxManage.xml	(revision 35146)
+++ /trunk/doc/manual/en_US/user_VBoxManage.xml	(revision 35147)
@@ -2904,6 +2904,6 @@
           &lt;name&gt;</computeroutput>, you can create a system dump of the
           running VM, which will be written into the given file. This file
-          will have the standard ELF core format (with custom
-          sections).</para>
+          will have the standard ELF core format (with custom sections); see
+          <xref linkend="guestcoreformat" />.</para>
         </listitem>