Fix printf output