minor fix under Windows