Fix typo in doc/document.txt