Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 50719)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 50720)
@@ -7078,5 +7078,5 @@
 DECLINLINE(void) hmR0VmxSetPendingDebugXcpt(PVMCPU pVCpu, PCPUMCTX pMixedCtx)
 {
-    HMVMXCPU_GST_IS_UPDATED(pVCpu, HMVMX_UPDATED_GUEST_RFLAGS);
+    Assert(HMVMXCPU_GST_IS_UPDATED(pVCpu, HMVMX_UPDATED_GUEST_RFLAGS));
     if (pMixedCtx->eflags.Bits.u1TF)    /* We don't have any IA32_DEBUGCTL MSR for guests. Treat as all bits 0. */
     {
@@ -7830,5 +7830,5 @@
      * Load the guest-state into the VMCS.
      * Any ordering dependency among the sub-functions below must be explicitly stated using comments.
-     * Ideally, assert that the cross-dependent bits are up to date at the point of using it.
+     * Ideally, assert that the cross-dependent bits are up-to-date at the point of using it.
      */
     int rc = hmR0VmxSetupVMRunHandler(pVCpu, pMixedCtx);