Minor fixes to typos