tidying up documentation for publication