Tidying up the documentation