fix warning on wrong type for printf precision argument