misc typos in docs