very minor tidying