Minor additions related to computing the area of polygon sets