a fix for windows

Tested on Windows and it works.