fix a bunch of typos in the documentation