Doc: small fixes