minor tidying of docs