Fix an issue on Windows platforms