minor tweaks in the doc