Fix warning on some platforms