Fixed a few typos I noticed after public