small fix on doc