Fix printf format arg type