Fix printf types