Update documentation a bit.