Improve the documentation a bit