Very minor tidying.