Cleaning up documentation a bit