Fixed typos in the documentation

Even though this file will still undergo many edits, and even though fixing typos is usually done in the final revision, I just felt like doing it now, if you don't mind.