Correction to type checking of set intersections