be slightly more windows-friendly