small fix to the doc