bug fix: printf format