added a printf statement