Minor fixes in formatting