minor fix on Windows