minor adjustments to the doc