Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 41331)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 41332)
@@ -771,7 +771,6 @@
         ulBit    = ulMSR;
     }
-    else
-    if (   ulMSR >= 0xC0000000
-        && ulMSR <= 0xC0001FFF)
+    else if (   ulMSR >= 0xC0000000
+             && ulMSR <= 0xC0001FFF)
     {
         /* AMD Sixth Generation x86 Processor MSRs */
@@ -934,5 +933,5 @@
 
 /**
- * Checks for pending guest interrupts and injects them into the guest.
+ * Checks for pending guest interrupts and injects them.
  *
  * @returns VBox status code.