Oops, qualify the foldr