windows binary, minor bug fix