Fix a couple of doc typos