Updating the documentation a bit