fix foldr name