fix two tiny typos