Fix up the documentation a bit