Fix a win32 warning