Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 51238)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 51239)
@@ -3234,5 +3234,5 @@
      * If the guest uses PAE and EFER.NXE bit differs, we need to swap EFER as it                    .
      * affects guest paging. 64-bit paging implies CR4.PAE as well.
-     * See Intel spec. 4.5 "IA32e Paging" and Intel spec. 4.1.1 "Three Paging Modes".
+     * See Intel spec. 4.5 "IA-32e Paging" and Intel spec. 4.1.1 "Three Paging Modes".
      */
     if (   (pMixedCtx->cr4 & X86_CR4_PAE)