Typographical improvements and typos