Small fix for Win32 (VC++2010)