Small fix for windows