minor fix to the document