minor change in print debugging