Fix up the docs.