Doc: small correction