some more tweaking of the documentation.