fix comment for 32bit Windows