diff --git a/bochs/cpu/vmx.cc b/bochs/cpu/vmx.cc
index 9c944f515..3aaea4894 100644
--- a/bochs/cpu/vmx.cc
+++ b/bochs/cpu/vmx.cc
@@ -1761,7 +1761,7 @@ Bit32u BX_CPU_C::VMenterLoadCheckGuestState(Bit64u *qualification)
       return VMX_VMEXIT_VMENTRY_FAILURE_GUEST_STATE;
     }
     if (guest.activity_state == BX_ACTIVITY_STATE_SHUTDOWN && event_type != BX_NMI) {
-      BX_ERROR(("VMENTER FAIL: No NMI guest interruption is allowed when entering Shotdown state"));
+      BX_ERROR(("VMENTER FAIL: No NMI guest interruption is allowed when entering shutdown state"));
       return VMX_VMEXIT_VMENTRY_FAILURE_GUEST_STATE;
     }
   }