Fixed a few typos: