another small fix on the doc