A few minor modifications made to the document. This commit is to keep things synchronised.