some more adjustments to the documentation