Fixed the IntegerInterval path