minor fix for windows