fix windows bug (hopefully)