Minor bugfix

Minor bugfix in 32-bit code for Windows platform, for better
performance.