fixup some typos