Some tidying of the docs