again small fix in the doc