doc typos, corrections