Fixed yesterday's W32 fix.