Fixed bug in RangeSet.difference