[doc] more minor tidying