Doc: small refinement