Patched for Win32 compilation error.