doc minor fix