Fix a printf format warning