Fix minor bug for Windows