another update (fixes issue on Windows)