Some minor tidying up.

Then it can just be `file.splitAt(exti)`.