A proof of regularity for finite splicing