Fixed a bug on the generation of intervals during the right extension.