Doc: small corrections