Minor typos in the doc