Doc: minor edit