fix up a typo