fixing very-easy-to-miss typos