Fix a printf format error