Index: /trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp	(revision 42344)
+++ /trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp	(revision 42345)
@@ -1706,5 +1706,5 @@
     /*
      * No reason to sync back the CRx and DRx registers as they cannot be changed by the guest
-     * unless in the nested paging case where CR3 & CR3 can be changed by the guest.
+     * unless in the nested paging case where CR3 can be changed by the guest.
      */
     if (   pVM->hwaccm.s.fNestedPaging
Index: /trunk/src/VBox/VMM/VMMR0/PGMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/PGMR0.cpp	(revision 42344)
+++ /trunk/src/VBox/VMM/VMMR0/PGMR0.cpp	(revision 42345)
@@ -450,5 +450,5 @@
      */
     bool fLockTaken = false;
-    switch(enmShwPagingMode)
+    switch (enmShwPagingMode)
     {
         case PGMMODE_32_BIT: