Fix printf(3) format warning found by travis-ci.