Little fix in the document.