fix a couple of typos in the docs