Fix printf bug