minor tweaking of the doc