tentative fix for windows bug