Fix embarrassing doc typos