Remove last reference to `num_intervals`, remove obsolete import