EDM2BOY: finalize