Fine-tune some printf format specifiers

These caused warnings on Travis CI.