small modif in doc