fix an embarrassing typo