fix coffee existential check