doc: minor editorial change