Correctif mineur pour win32