Added minor changes to the document