fix various typos mentioned in #14