a little fix in the doc