Fix a warning on Windows