added a printf