Fix printf format.