tidy up the documentation a bit