Fix doc typos from #3746