minor fix on windows