Really minor tidying.