minor tidying

minor tidying