fix a couple of doc typos