minor fixes to typos