Fix up documentation a bit.