Minor changes in formatting.