minor correction; put a warning comment about an intersection assumption.