minor fix in doc file