Fix little bug in the document.