fix a typo (thanks Ken)