Fix printf argument passing issue