a minor change in code from windows env.