Mostly minor typographical fixes + typos