Documentation: More minor tidying.