Update the documentation a bit.