a few more typos in the doc