one more Win32 fix