small fixes to some typos