Another tiny typo update