Fix up the docs somewhat.

done.