minor change in printed output