doc: minor fix