int_overlap: corrections & simplifications, argument change