remove a few typos in documentation