tidying up some documentation