Minor changes in formatting