Fixing warning on Windows