Fixed the IntegerIntervals path.