Fix a couple of very small doc typos