fixes to typos