very minor fix on doc