Fix an ENORMOUS mistake in the code to compute interval maxima: the calls were not recursive at all!