Fix a printf(3) type error