fix two typos in the docs