Clean up the documentation a bit