attempting to fix some tiny typos