Get rid of a printf