small fix in the doc