minor tidying, to delete stray copies