Fixed a number of typos pointed by the reviewers.