Clean up the documentation a bit.