Fixes mistakes and errors in UIntegerIntervals.