small changes in formatting