Doc: small changes