doc: minor.