Some changes in formatting, typos fixed