Use correctingInterval as submodule for self-correcting intervals