minor modif in the doc