minor fix on doc