Some minor fixes in formatting