another small Windows fix