Fix printf integer size warning