A couple minor doc typos