Interval: correction bug