was it heinz ketchup?