few changes in general and some changes in formatting