Update and clean up documentation a bit