Fix up the docs somewhat.