Minor changes in the document.