minor change in formatting