minor adjustments to the docs