Fix printf argument type warnings