Fix up some more documentation.