Various typos and rephrasing.