Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 41313)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 41314)
@@ -2236,5 +2236,5 @@
 #ifdef VBOX_WITH_STATISTICS
             /*
-             * This is not terribly accurate (i.e. we don't have a StatFlushEPT counter so we currently count these
+             * This is not terribly accurate (i.e. we don't have any StatFlushEPT counter). We currently count these
              * as ASID flushes too, better than including them under StatFlushTLBWorldSwitch.
              */