Clean up documentation a bit