Minor correction on the document; typos