Small fix for Windows