minor tidies