Fixed typos, plus small typographical improvments