minor fix for cross platform issues