misc fixes of typos