fix typo in foldr name