(doc) Minor modifs