printf bug fix