Update doc: minor fix