Tidy up some documentation