Index: /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 33794)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 33795)
@@ -1604,4 +1604,5 @@
         PGSTPT pGstPT;
 
+        /* Note that iPTDst can be used to index the guest PT even in the pae/32bit combo as we copy only half the table; see pgmPoolAddDirtyPage. */
         pGstPT = (PGSTPT)&pPool->aDirtyPages[pShwPage->idxDirty].aPage[0];
         GCPhysOldPage = GST_GET_PTE_GCPHYS(pGstPT->a[iPTDst]);