small fix for windows