Small changes in formatting