fixes small bugs/typos in docs