Minor corrections in formatting