fix a bug on Windows