IntervalVector() is now private

IntervalVector() is now private