fix a printf