minor adjustments to doc