doc: small cleanup