Clean up documentation a little